Communicating real-time state machines
- 1 January 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 18 (9) , 805-816
- https://doi.org/10.1109/32.159840
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- Communicating shared resources: a model for distributed real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Object-oriented specification of reactive systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Modechart: a specification language for real-time systemsIEEE Transactions on Software Engineering, 1994
- Multilevel specification of real time systemsCommunications of the ACM, 1991
- Software requirements analysis for real-time process-control systemsIEEE Transactions on Software Engineering, 1991
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Safety Analysis Using Petri NetsIEEE Transactions on Software Engineering, 1987
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- SqueakACM SIGGRAPH Computer Graphics, 1985
- Communicating sequential processesCommunications of the ACM, 1978