Pages that link to "Item:Q3543302"
From MaRDI portal
The following pages link to On Conformance Testing for Timed Systems (Q3543302):
Displaying 14 items.
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Bounded determinization of timed automata with silent transitions (Q1699228) (← links)
- Synthesising succinct strategies in safety games with an application to real-time scheduling (Q2636511) (← links)
- Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (Q3000640) (← links)
- (Q3384887) (← links)
- Conformance Testing Relations for Timed Systems (Q3434605) (← links)
- On the Merits of Temporal Testers (Q3512440) (← links)
- (Q4507811) (← links)
- Timed testing of concurrent systems (Q4630289) (← links)
- Model-Based Testing (Q5175779) (← links)
- A Method for Testing the Conformance of Real Time Systems (Q5392298) (← links)
- Testing using CSP Models: Time, Inputs, and Outputs (Q5886524) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900956) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900959) (← links)