Untameable Timed Automata!
- 17 February 2003
- book chapter
- Published by Springer Nature
- p. 620-631
- https://doi.org/10.1007/3-540-36494-3_54
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- Are Timed Automata Updatable?Published by Springer Nature ,2000
- Efficient Timed Reachability Analysis Using Clock Difference DiagramsPublished by Springer Nature ,1999
- Model checking timed automataPublished by Springer Nature ,1998
- The regular real-time languagesPublished by Springer Nature ,1998
- Model checking of real-time reachability properties using abstractionsPublished by Springer Nature ,1998
- HYTECH: a model checker for hybrid systemsInternational Journal on Software Tools for Technology Transfer, 1997
- UPPAAL — a tool suite for automatic verification of real-time systemsPublished by Springer Nature ,1996
- The tool KronosPublished by Springer Nature ,1996
- Approximations for verifying timing propertiesPublished by World Scientific Pub Co Pte Ltd ,1995