The following pages link to Formalization of test experiments (Q927449):
Displaying 5 items.
- Systems with priorities: conformance, testing, and composition (Q1040326) (← links)
- Interaction semantics with refusals, divergence, and destruction (Q1758683) (← links)
- Agreement between conformance and composition (Q2017761) (← links)
- Automatic construction of systems of distributed components from nested Petri nets models (Q2216722) (← links)
- Complete open-state testing of limitedly nondeterministic systems (Q2654997) (← links)
