Pages that link to "Item:Q5902014"
From MaRDI portal
The following pages link to Formal Approaches to Software Testing (Q5902014):
Displaying 6 items.
- Conformance testing for real-time systems (Q842583) (← links)
- Automatic generation of path conditions for concurrent timed systems (Q947796) (← links)
- An integer programming approach for the Chinese postman problem with time-dependent travel time (Q2343981) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464469) (← links)
- Formal Approaches to Software Testing (Q5710654) (← links)
- Formal Approaches to Software Testing (Q5902016) (← links)