The following pages link to Robust safety of timed automata (Q1028728):
Displayed 5 items.
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563) (← links)
- Timed Automata Can Always Be Made Implementable (Q3090823) (← links)
- Robust Model-Checking of Timed Automata via Pumping in Channel Machines (Q3172846) (← links)
- Thin and Thick Timed Regular Languages (Q3172847) (← links)
- Robust Specification of Real Time Components (Q3172848) (← links)