Verifying invariance properties of timed systems with duration variables
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Minimization of timed transition systemsPublished by Springer Nature ,2006
- Symbolic model checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Verification of context-free timed systems using linear hybrid observersPublished by Springer Nature ,1994
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsPublished by Springer Nature ,1993
- Integration Graphs: A class of decidable hybrid systemsPublished by Springer Nature ,1993
- An approach to the description and analysis of hybrid systemsPublished by Springer Nature ,1993
- Computing accumulated delays in real-time systemsPublished by Springer Nature ,1993
- From ATP to timed graphs and hybrid systemsPublished by Springer Nature ,1992
- A calculus of durationsInformation Processing Letters, 1991