The following pages link to (Q2754097):
Displayed 6 items.
- Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← 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)
- (Q5021015) (← links)