Pages that link to "Item:Q5464742"
From MaRDI portal
The following pages link to Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464742):
Displaying 14 items.
- Computing maximally-permissive strategies in acyclic timed automata (Q1996019) (← links)
- Almost ASAP semantics: from timed models to timed implementations (Q2576589) (← links)
- Shrinking timed automata (Q2637311) (← links)
- Timed Automata Can Always Be Made Implementable (Q3090823) (← links)
- Robust Model-Checking of Linear-Time Properties in Timed Automata (Q3525763) (← links)
- Distributed Timed Automata with Independently Evolving Clocks (Q3541012) (← links)
- (Q4953389) (← links)
- Relating syntactic and semantic perturbations of hybrid automata (Q5009441) (← links)
- Modelling and Verification of Timed Robotic Controllers (Q5045474) (← links)
- Distributed Event Clock Automata (Q5200069) (← links)
- Hybrid Systems: Computation and Control (Q5307930) (← links)
- Robust Analysis of Timed Automata Via Channel Machines (Q5458357) (← links)
- Probabilistic and Topological Semantics for Timed Automata (Q5458833) (← links)
- FM 2005: Formal Methods (Q5716871) (← links)