The following pages link to Uppaal (Q16871):
Displaying 10 items.
- Progress-preserving Refinements of CTA (Q5009458) (← links)
- Towards an Efficient Tree Automata based technique for Timed Systems (Q5111654) (← links)
- Formal Model–Driven Design of Distributed Algorithms (Q5170275) (← links)
- Parametric Verification of Weighted Systems (Q5240155) (← links)
- Hybrid Systems: Computation and Control (Q5307932) (← links)
- Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076) (← links)
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
- Timed Basic Parallel Processes (Q5875376) (← links)
- (Q5875377) (← links)
- A case study on parametric verification of failure detectors (Q5883746) (← links)
