The following pages link to (Q4942006):
Displayed 5 items.
- Compositional approach to the development of reactive algorithms (Q465979) (← links)
- A succinct canonical register automaton model (Q478388) (← links)
- Proof-guided test selection from first-order specifications with equality (Q616851) (← links)
- Towards Deriving Test Sequences by Model Checking (Q2873605) (← links)
- Model-Based Test Selection for Infinite-State Reactive Systems (Q3525109) (← links)