The following pages link to (Q4501664):
Displayed 5 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Product interval automata (Q1847544) (← links)
- Event clock message passing automata: a logical characterization and an emptiness checking algorithm (Q2248059) (← links)
- Automata and Logics for Timed Message Sequence Charts (Q5458842) (← links)
- Diagnosis of timed patterns for discrete event systems by means of state isolation (Q6110300) (← links)