Pages that link to "Item:Q2017757"
From MaRDI portal
The following pages link to Formalization of a test experiment. II (Q2017757):
Displaying 8 items.
- Formalization of test experiments (Q927449) (← 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)
- Normalised squeeziness and failed error propagation (Q2274482) (← links)
- \(\mathcal {HOTL}\): Hypotheses and observations testing logic (Q2469152) (← links)
- Test suite reduction in conformance testing (Q2714242) (← links)
- Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900546) (← links)