Pages that link to "Item:Q5944218"
From MaRDI portal
The following pages link to Conformance tests for real-time systems with timed automata specifications (Q5944218):
Displayed 4 items.
- Approximate analyzing of labeled transition systems (Q1667079) (← links)
- Formally transforming user-model testing problems into implementer-model testing problems and viceversa (Q2270684) (← links)
- Towards Deriving Test Sequences by Model Checking (Q2873605) (← links)
- MODEL PARTITIONS AND COMPACT TEST CASE SUITES (Q2909189) (← links)