A reachability tree for statecharts and analysis of some properties
- 31 October 1994
- journal article
- Published by Elsevier in Information and Software Technology
- Vol. 36 (10) , 615-624
- https://doi.org/10.1016/0950-5849(94)90021-3
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A compositional axiomatization of StatechartsTheoretical Computer Science, 1992
- Biting the silver bullet: toward a brighter future for system developmentComputer, 1992
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Safety Analysis Using Petri NetsIEEE Transactions on Software Engineering, 1987
- Reachability trees for high-level petri netsTheoretical Computer Science, 1986