Prom timed to hybrid systems
- 1 January 1992
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 447-484
- https://doi.org/10.1007/bfb0032003
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Explicit clock temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A calculus of durationsInformation Processing Letters, 1991
- Specifying and verifying requirements of real-time systemsPublished by Association for Computing Machinery (ACM) ,1991
- Temporal proof methodologies for real-time systemsPublished by Association for Computing Machinery (ACM) ,1991
- The anchored version of the temporal frameworkPublished by Springer Nature ,1989
- A really temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- Applications of temporal logic to the specification of real time systemsLecture Notes in Computer Science, 1988
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982