Cited in
(12)- Memory arbiter synthesis and verification for a radar memory interface card
- Model Checking Real-Time Systems
- Symbolic and compositional reachability for timed automata
- Romeo
- MOTOR
- GEZEL
- Verics
- On using priced timed automata to achieve optimal scheduling
- A Kleene-Schützenberger theorem for weighted timed automata
- Formal Methods for Components and Objects
- Quantitative attack tree analysis via priced timed automata
- Weighted o-minimal hybrid systems
This page was built for software: UPPAAL CORA
