Pages that link to "Item:Q4647846"
From MaRDI portal
The following pages link to Using Time to Add Order to Distributed Testing (Q4647846):
Displaying 3 items.
- Implementation relations and test generation for systems with distributed interfaces (Q1938358) (← links)
- Distributed computation of vector clocks in Petri net unfoldings for test selection (Q2197589) (← links)
- Timed implementation relations for the distributed test architecture (Q2251156) (← links)