The following pages link to Specification completion for IOCO (Q763529):
Displaying 4 items.
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- Formalization of a test experiment. II (Q2017757) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- Formal Approaches to Software Testing (Q5902012) (← links)