UPPAAL CORA
From MaRDI portal
Software:37398
swMATH25660MaRDI QIDQ37398FDOQ37398
Author name not available (Why is that?)
Cited In (8)
- A Kleene-Schützenberger theorem for weighted timed automata
- On using priced timed automata to achieve optimal scheduling
- Quantitative Attack Tree Analysis via Priced Timed Automata
- Model Checking Real-Time Systems
- Formal Methods for Components and Objects
- Weighted o-minimal hybrid systems
- Symbolic and Compositional Reachability for Timed Automata
- Title not available (Why is that?)
This page was built for software: UPPAAL CORA
