A visual formalism for real time requirement specifications
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 156-168
- https://doi.org/10.1007/3-540-63010-4_11
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Formalized timing diagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Really visual temporal reasoningPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The Real-Time Graphical Interval Logic toolsetPublished by Springer Nature ,1996
- Graphical formalization of real-time requirementsPublished by Springer Nature ,1996
- UPPAAL — a tool suite for automatic verification of real-time systemsPublished by Springer Nature ,1996
- The tool KronosPublished by Springer Nature ,1996
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- A really temporal logicJournal of the ACM, 1994
- The theory of timed automataPublished by Springer Nature ,1992
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990