Pages that link to "Item:Q5710640"
From MaRDI portal
The following pages link to Formal Approaches to Software Testing (Q5710640):
Displaying 5 items.
- An automata-based view on configurability and uncertainty (Q1623120) (← links)
- Verification of asynchronous systems with an unspecified component (Q1731830) (← links)
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach (Q3434609) (← links)
- (Q4528870) (← links)
- Automated Technology for Verification and Analysis (Q5394172) (← links)