Pages that link to "Item:Q939170"
From MaRDI portal
The following pages link to Model checking duration calculus: a practical approach (Q939170):
Displaying 9 items.
- Constraint solving for interpolation (Q604394) (← links)
- Model-checking discrete duration calculus (Q1346770) (← links)
- An abstract model for proving safety of autonomous urban traffic (Q1786569) (← links)
- A practical approach to model checking duration calculus using Presburger arithmetic (Q2251131) (← links)
- Automatic verification of combined specifications: an overview (Q2873685) (← links)
- (Q4449303) (← links)
- (Q4738231) (← links)
- Take It NP-Easy: Bounded Model Construction for Duration Calculus (Q5392294) (← links)
- FM 2005: Formal Methods (Q5716897) (← links)