UPPAAL CORA
From MaRDI portal
Software:37398
No author found.
Related Items (8)
Model Checking Real-Time Systems ⋮ On using priced timed automata to achieve optimal scheduling ⋮ Quantitative Attack Tree Analysis via Priced Timed Automata ⋮ A Kleene-Schützenberger theorem for weighted timed automata ⋮ Unnamed Item ⋮ Weighted o-minimal hybrid systems ⋮ Symbolic and Compositional Reachability for Timed Automata ⋮ Formal Methods for Components and Objects
This page was built for software: UPPAAL CORA
