The following pages link to Testing timed automata (Q5940921):
Displaying 21 items.
- Efficiently identifying deterministic real-time automata from labeled data (Q420918) (← links)
- Complete model-based equivalence class testing for nondeterministic systems (Q520246) (← links)
- SetExp: a method of transformation of timed automata into finite state automata (Q601048) (← links)
- Learning of event-recording automata (Q604474) (← links)
- Conformance testing for real-time systems (Q842583) (← links)
- 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)
- A graph based semantics for logical functional diagrams in power plant controllers (Q2103904) (← links)
- Introducing complexity to formal testing (Q2291824) (← links)
- An integer programming approach for the Chinese postman problem with time-dependent travel time (Q2343981) (← links)
- Grid automata and supervisory control of dense real-time discrete event systems (Q2489622) (← links)
- A General Testability Theory (Q3184700) (← links)
- Conformance Testing Relations for Timed Systems (Q3434605) (← links)
- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts (Q3613082) (← links)
- A menagerie of timed automata (Q5176174) (← links)
- Control Strategies for Off-Line Testing of Timed Systems (Q5883580) (← links)
- Control strategies for off-line testing of timed systems (Q6102163) (← links)
- Equivalence checking and intersection of deterministic timed finite state machines (Q6108432) (← links)
- Repairing timed automata clock guards through abstraction and testing (Q6536174) (← links)
- An optimised complete strategy for testing symbolic finite state machines (Q6536438) (← links)
