Pages that link to "Item:Q2469174"
From MaRDI portal
The following pages link to Formal testing from timed finite state machines (Q2469174):
Displayed 7 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)
- Controllable Test Cases for the Distributed Test Architecture (Q3540074) (← links)
- (Q5146121) (← links)