Timed modal specification — Theory and tools
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 253-267
- https://doi.org/10.1007/3-540-56922-7_21
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Real-time behaviour of asynchronous agentsPublished by Springer Nature ,2005
- A modal process logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Efficient local correctness checkingLecture Notes in Computer Science, 1993
- Decidability of bisimulation equivalences for parallel timer processesPublished by Springer Nature ,1993
- The theory of timed automataPublished by Springer Nature ,1992
- From ATP to timed graphs and hybrid systemsPublished by Springer Nature ,1992
- Graphical versus logical specificationsPublished by Springer Nature ,1990
- Modal specificationsPublished by Springer Nature ,1990