The following pages link to (Q4422061):
Displaying 4 items.
- \(\mathcal {HOTL}\): Hypotheses and observations testing logic (Q2469152) (← links)
- Conformance Testing Relations for Timed Systems (Q3434605) (← links)
- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts (Q3613082) (← links)
- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems (Q3613092) (← links)
