Pages that link to "Item:Q3434651"
From MaRDI portal
The following pages link to A Logic for Assessing Sets of Heterogeneous Testing Hypotheses (Q3434651):
Displaying 4 items.
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine (Q1019006) (← links)
- \(\mathcal {HOTL}\): Hypotheses and observations testing logic (Q2469152) (← links)
- A Formal Methodology to Test Complex Heterogeneous Systems (Q3510809) (← links)
- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems (Q3613092) (← links)
