Specification and verification of reactive system behaviour: The Railroad Crossing example
- 1 March 1996
- journal article
- Published by Springer Nature in Real-Time Systems
- Vol. 10 (2) , 143-178
- https://doi.org/10.1007/bf00360339
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Semantics of Modechart in real time logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Evaluation Criteria for Real-Time Specification LanguagesPublished by Defense Technical Information Center (DTIC) ,1992
- Timed and Hybrid Statecharts and their textual representationPublished by Springer Nature ,1992
- Prom timed to hybrid systemsPublished by Springer Nature ,1992
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986