Pages that link to "Item:Q1039844"
From MaRDI portal
The following pages link to Coverage-guided test generation for continuous and hybrid systems (Q1039844):
Displaying 4 items.
- Temporally and spatially flexible plan execution for dynamic hybrid systems (Q2407439) (← links)
- Trace Analysis Using an Event-Driven Interval Temporal Logic (Q5097635) (← links)
- A model-based approach to testing software control systems described by linear differential equations (Q6619616) (← links)
- Computation of feedback control laws based on switched tracking of demonstrations (Q6669736) (← links)
