Pages that link to "Item:Q2469174"
From MaRDI portal
The following pages link to Formal testing from timed finite state machines (Q2469174):
Displaying 11 items.
- Testing from a stochastic timed system with a fault model (Q1001893) (← links)
- Passive testing with asynchronous communications and timestamps (Q1656880) (← links)
- Synthesis of distinguishing test cases for timed finite state machines (Q1758682) (← links)
- On deriving test suites for nondeterministic finite state machines with time-outs (Q1758706) (← links)
- Implementation relations and test generation for systems with distributed interfaces (Q1938358) (← links)
- Adaptive experiments for state identification in finite state machines with timeouts (Q2104144) (← links)
- Controllable Test Cases for the Distributed Test Architecture (Q3540074) (← links)
- Deriving Homing Sequences for Finite State Machines with Timed Guards (Q5060074) (← links)
- On the Modeling of Sequential Reactive Systems by Means of Real Time Automata (Q5060075) (← links)
- (Q5146121) (← links)
- Equivalence checking and intersection of deterministic timed finite state machines (Q6108432) (← links)
