swMATH25660MaRDI QIDQ37398FDOQ37398
Author name not available (Why is that?)
Official website: http://people.cs.aau.dk/~adavid/cora/introduction.html
Cited In (9)
- Memory arbiter synthesis and verification for a radar memory interface card
- 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
- Symbolic and compositional reachability for timed automata
- Verics
- Model Checking Real-Time Systems
- Formal Methods for Components and Objects
- Weighted o-minimal hybrid systems
This page was built for software: UPPAAL CORA
