Pages that link to "Item:Q842583"
From MaRDI portal
The following pages link to Conformance testing for real-time systems (Q842583):
Displaying 11 items.
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Passive testing with asynchronous communications and timestamps (Q1656880) (← links)
- Bounded determinization of timed automata with silent transitions (Q1699228) (← links)
- A game approach to determinize timed automata (Q2018058) (← links)
- Adaptive experiments for state identification in finite state machines with timeouts (Q2104144) (← links)
- Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics (Q2822654) (← links)
- Bounded Determinization of Timed Automata with Silent Transitions (Q2945604) (← links)
- Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (Q3000640) (← links)
- Deriving Homing Sequences for Finite State Machines with Timed Guards (Q5060074) (← links)
- Control Strategies for Off-Line Testing of Timed Systems (Q5883580) (← links)
- Control strategies for off-line testing of timed systems (Q6102163) (← links)
