STATEMATE: a working environment for the development of complex reactive systems
- 6 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- STATEMATE: a working environment for the development of complex reactive systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- On visual formalismsCommunications of the ACM, 1988
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- The transformation schema: An extension of the data flow diagram to represent control and timingIEEE Transactions on Software Engineering, 1986
- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trendsLecture Notes in Computer Science, 1986
- On the Development of Reactive SystemsPublished by Springer Nature ,1985