The following pages link to Formalization of test experiments (Q927449):
Displaying 9 items.
- Systems with priorities: conformance, testing, and composition (Q1040326) (← links)
- Interaction semantics with refusals, divergence, and destruction (Q1758683) (← links)
- Formalization of a test experiment. II (Q2017757) (← links)
- Agreement between conformance and composition (Q2017761) (← links)
- Automatic construction of systems of distributed components from nested Petri nets models (Q2216722) (← links)
- \(\mathcal {HOTL}\): Hypotheses and observations testing logic (Q2469152) (← links)
- Complete open-state testing of limitedly nondeterministic systems (Q2654997) (← links)
- (Q5389616) (← links)
- Divergence in testing and readiness semantics (Q5958758) (← links)