Pages that link to "Item:Q5458357"
From MaRDI portal
The following pages link to Robust Analysis of Timed Automata Via Channel Machines (Q5458357):
Displayed 10 items.
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- Robust safety of timed automata (Q1028728) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- Shrinking timed automata (Q2637311) (← links)
- Timed Automata Can Always Be Made Implementable (Q3090823) (← links)
- Robust Model-Checking of Timed Automata via Pumping in Channel Machines (Q3172846) (← links)
- Robust Specification of Real Time Components (Q3172848) (← links)
- Expressiveness and succinctness of a logic of robustness (Q4586143) (← links)
- Robust Analysis of Timed Automata Via Channel Machines (Q5458357) (← links)