Tool supported specification and simulation of distributed systems
- 27 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 155-164
- https://doi.org/10.1109/pdse.1998.668174
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Traffic lights-an AutoFocus case studyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The B-BookPublished by Cambridge University Press (CUP) ,1996
- Graphical development of consistent system specificationsPublished by Springer Nature ,1996
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990