The following pages link to (Q4942008):
Displaying 9 items.
- The complexity of asynchronous model based testing (Q714798) (← links)
- Specification completion for IOCO (Q763529) (← links)
- A supervisory control method for ensuring the conformance of real-time discrete event systems (Q816702) (← links)
- Formalization of test experiments (Q927449) (← links)
- Passive testing with asynchronous communications and timestamps (Q1656880) (← links)
- Interaction semantics with refusals, divergence, and destruction (Q1758683) (← links)
- Agreement between conformance and composition (Q2017761) (← links)
- Timed implementation relations for the distributed test architecture (Q2251156) (← links)
- Synchronizing Asynchronous Conformance Testing (Q3095247) (← links)
