Pages that link to "Item:Q5897968"
From MaRDI portal
The following pages link to Formal Modeling and Analysis of Timed Systems (Q5897968):
Displaying 7 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Models and formal verification of multiprocessor system-on-chips (Q953526) (← links)
- Robust safety of timed automata (Q1028728) (← links)
- Shrinking timed automata (Q2637311) (← links)
- (Q2754107) (← links)
- Timed Automata Can Always Be Made Implementable (Q3090823) (← links)
- Robust Analysis of Timed Automata Via Channel Machines (Q5458357) (← links)