Pages that link to "Item:Q5392298"
From MaRDI portal
The following pages link to A Method for Testing the Conformance of Real Time Systems (Q5392298):
Displaying 7 items.
- SetExp: a method of transformation of timed automata into finite state automata (Q601048) (← links)
- A new method for transforming timed automata (Q2848435) (← links)
- Towards deriving test sequences by model checking (Q2873605) (← links)
- (Q3384887) (← links)
- Conformance Testing Relations for Timed Systems (Q3434605) (← links)
- A new method for centralised and modular supervisory control of real-time discrete event systems (Q3550771) (← links)
- Conformance tests for real-time systems with timed automata specifications (Q5944218) (← links)