Cited in
(10)- Verification, performance analysis and controller synthesis for real-time systems
- Model Checking Real-Time Systems
- HW/SW co-design for public-key cryptosystems on the 8051 micro-controller
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Verics
- Casaal
- APMC
- UPPAAL TIGA
- UPPAAL CORA
- Semantics and Verification of a Language for Modelling Hardware Architectures
This page was built for software: GEZEL
