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 7 items.
- Formalization of test experiments (Q927449) (← links)
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine (Q1019006) (← links)
- Formalization of a test experiment. II (Q2017757) (← 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)
- (Q4444729) (← links)