Pages that link to "Item:Q4630289"
From MaRDI portal
The following pages link to Timed testing of concurrent systems (Q4630289):
Displaying 10 items.
- Timed testing of concurrent systems (Q1899907) (← links)
- Concurrent testing of processes (Q1902297) (← links)
- Timing-sequence testing of parallel programs (Q1966509) (← links)
- Conformance Testing Relations for Timed Systems (Q3434605) (← links)
- Translating Testing Theories for Concurrent Systems (Q3449629) (← links)
- On the Merits of Temporal Testers (Q3512440) (← links)
- (Q4507811) (← links)
- Using Time to Add Order to Distributed Testing (Q4647846) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900956) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900959) (← links)