Pages that link to "Item:Q5710653"
From MaRDI portal
The following pages link to Formal Approaches to Software Testing (Q5710653):
Displaying 12 items.
- Model-based testing of probabilistic systems (Q682363) (← links)
- A formal abstract framework for modelling and testing complex software systems (Q714878) (← links)
- Conformance testing for real-time systems (Q842583) (← links)
- Complete test graph synthesis for symbolic real-time systems (Q2848434) (← links)
- Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (Q3000640) (← links)
- Conformance Testing Relations for Timed Systems (Q3434605) (← links)
- Controllable Test Cases for the Distributed Test Architecture (Q3540074) (← links)
- On Conformance Testing for Timed Systems (Q3543302) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479184) (← links)
- Control Strategies for Off-Line Testing of Timed Systems (Q5883580) (← links)
- Formal Approaches to Software Testing (Q5902015) (← links)
- Control strategies for off-line testing of timed systems (Q6102163) (← links)