Pages that link to "Item:Q842583"
From MaRDI portal
The following pages link to Conformance testing for real-time systems (Q842583):
Displaying 26 items.
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Testing from a stochastic timed system with a fault model (Q1001893) (← links)
- Passive testing with asynchronous communications and timestamps (Q1656880) (← links)
- Bounded determinization of timed automata with silent transitions (Q1699228) (← links)
- On-the-fly conformance testing using SPIN (Q1856165) (← links)
- A game approach to determinize timed automata (Q2018058) (← links)
- Conformance checking of real-time models. Symbolic execution vs. bounded model checking (Q2026779) (← links)
- Adaptive experiments for state identification in finite state machines with timeouts (Q2104144) (← links)
- A local approach to the testing of real-time systems (Q2762734) (← 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)
- (Q3384887) (← links)
- Conformance Testing Relations for Timed Systems (Q3434605) (← links)
- Deriving Homing Sequences for Finite State Machines with Timed Guards (Q5060074) (← links)
- Model Checking Software (Q5308369) (← links)
- A Method for Testing the Conformance of Real Time Systems (Q5392298) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464743) (← links)
- Formal Approaches to Software Testing (Q5710653) (← links)
- FM 2005: Formal Methods (Q5716875) (← links)
- Control Strategies for Off-Line Testing of Timed Systems (Q5883580) (← links)
- Formal Approaches to Software Testing (Q5902014) (← links)
- Formal Approaches to Software Testing (Q5902015) (← links)
- Conformance tests for real-time systems with timed automata specifications (Q5944218) (← links)
- Control strategies for off-line testing of timed systems (Q6102163) (← links)
- Learning deterministic one-clock timed automata via mutation testing (Q6160914) (← links)
