Pages that link to "Item:Q4589595"

The following pages link to Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs (Q4589595):

Displayed 2 items.

• Testing from a stochastic timed system with a fault model (Q1001893) ‎ (← links)
• Synthesis of distinguishing test cases for timed finite state machines (Q1758682) ‎ (← links)