Uppaal in 1995
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 431-434
- https://doi.org/10.1007/3-540-61042-1_66
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Two examples of verification of multirate timed automata with KronosPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Verification of an Audio Protocol with bus collision using UppaalPublished by Springer Nature ,1996
- UPPAAL — a tool suite for automatic verification of real-time systemsPublished by Springer Nature ,1996
- Steam-boiler control specification problemPublished by Springer Nature ,1996
- Diagnostic model-checking for real-time systemsPublished by Springer Nature ,1996
- A user guide to HyTechPublished by Springer Nature ,1995
- Using abstractions for the verification of linear hybrid systemsLecture Notes in Computer Science, 1994
- Verification of an audio control protocolPublished by Springer Nature ,1994
- An old-fashioned recipe for real timePublished by Springer Nature ,1992