Pages that link to "Item:Q1882793"
From MaRDI portal
The following pages link to Model-checking dense-time duration calculus (Q1882793):
Displaying 12 items.
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- Model checking duration calculus: a practical approach (Q939170) (← links)
- Model-checking discrete duration calculus (Q1346770) (← links)
- Efficient model-checking of dense-time systems with time-convexity analysis (Q1935781) (← links)
- A practical approach to model checking duration calculus using Presburger arithmetic (Q2251131) (← links)
- Bounded variability of metric temporal logic (Q2408743) (← links)
- Interval duration logic: expressiveness and decidability (Q2842590) (← links)
- Decidability of a hybrid duration calculus (Q2867952) (← links)
- (Q4415138) (← links)
- (Q4449303) (← links)
- (Q4738231) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703768) (← links)