Multi-level specification and verification of real-time software

Authors:
A. Gabrielian;M. K. Franklin
Affiliations:
Thomson-CSF, Inc., 630 Hansen Way, Suite 250, Palo Alto, CA;Dept. of Computer Science, Columbia University, New York, NY and Thomson-CSF, Inc., 630 Hansen Way, Suite 250, Palo Alto, CA
Venue:
ICSE '90 Proceedings of the 12th international conference on Software engineering
Year:
1990

Petri nets: an introduction

Petri nets: an introduction
Statecharts: A visual formalism for complex systems

Science of Computer Programming
Semantics of Modechart in real time logic

Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Tutorial: hard real-time systems

Tutorial: hard real-time systems
Verifying Security

ACM Computing Surveys (CSUR)
Software Specification Techniques (International Computer Science Series)

Software Specification Techniques (International Computer Science Series)

Hi-index	0.00