The following pages link to (Q5714446):
Displaying 6 items.
- Comparing cubes of typed and type assignment systems (Q1365249) (← links)
- On the semantics of polychronous polytimed specifications (Q1996008) (← links)
- Formalized Timed Automata (Q2829277) (← links)
- Coinduction in concurrent timed systems (Q2919457) (← links)
- A Formalized Theory for Verifying Stability and Convergence of Automata in PVS (Q3543661) (← links)
- Verified Certification of Reachability Checking for Timed Automata (Q5039522) (← links)