Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal
- 30 April 1999
- book chapter
- Published by Springer Nature
- p. 277-298
- https://doi.org/10.1007/3-540-48778-6_17
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAALPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Model checking via reachability testing for timed automataPublished by Springer Nature ,1998
- Formal design and analysis of a gear controllerPublished by Springer Nature ,1998
- Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAALBRICS Report Series, 1996
- Uppaal in 1995Published by Springer Nature ,1996
- The tool KronosPublished by Springer Nature ,1996
- The Fc2tools setPublished by Springer Nature ,1996