State-based specification of complex real-time systems
- 6 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Semantics of Modechart in real time logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- Informality in Program SpecificationsIEEE Transactions on Software Engineering, 1978
- Structured Analysis (SA): A Language for Communicating IdeasIEEE Transactions on Software Engineering, 1977