Pages that link to "Item:Q3648824"
From MaRDI portal
The following pages link to Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation (Q3648824):
Displaying 7 items.
- Robust synthesis for real-time systems (Q386617) (← links)
- On timed alternating simulation for concurrent timed games (Q715043) (← links)
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- Modal event-clock specifications for timed component-based design (Q1951603) (← links)
- Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms (Q2961576) (← links)
- Methodologies for Specification of Real-Time Systems Using Timed I/O Automata (Q3066127) (← links)
- Robust Specification of Real Time Components (Q3172848) (← links)
