The following pages link to (Q2754097):
Displaying 9 items.
- Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
- Constraint nets: a semantic model for hybrid dynamic systems (Q673883) (← links)
- Natural projection as partial model checking (Q2208303) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Schedulability analysis of fixed-priority systems using timed automata (Q2368958) (← links)
- Task automata: Schedulability, decidability and undecidability (Q2643078) (← links)
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems (Q3540072) (← links)
- The Image Computation Problem in Hybrid Systems Model Checking (Q3612995) (← links)
- (Q5021015) (← links)