Pages that link to "Item:Q1346770"
From MaRDI portal
The following pages link to Model-checking discrete duration calculus (Q1346770):
Displaying 17 items.
- Metric temporal logic with durations (Q673880) (← links)
- Model checking duration calculus: a practical approach (Q939170) (← links)
- Probabilistic duration calculus for continuous time (Q1125686) (← links)
- A calculus of durations (Q1183485) (← links)
- Duration calculus: Logical foundations (Q1377324) (← links)
- Checking temporal duration properties of timed automata. (Q1433946) (← links)
- Model-checking dense-time duration calculus (Q1882793) (← links)
- Unifying proof methodologies of duration calculus and timed linear temporal logic (Q1882794) (← links)
- A practical approach to model checking duration calculus using Presburger arithmetic (Q2251131) (← links)
- Model checking discounted temporal properties (Q2575738) (← links)
- Interval duration logic: expressiveness and decidability (Q2842590) (← links)
- On verification of linear occurrence properties of real-time systems (Q2873689) (← links)
- (Q4449303) (← links)
- A duration calculus with infinite intervals (Q5055877) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)
- Checking linear duration invariants by linear programming (Q6560369) (← links)