Pages that link to "Item:Q1377324"
From MaRDI portal
The following pages link to Duration calculus: Logical foundations (Q1377324):
Displayed 23 items.
- On the completeness and decidability of duration calculus with iteration (Q557828) (← links)
- A generic logical-temporal performance analysis method for complex systems (Q622209) (← links)
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- Non-elementary lower bound for Propositional Duration Calculus (Q1129106) (← links)
- Induction in the timed interval calculus (Q1399964) (← links)
- Specification and verification of multimedia synchronization in duration calculus (Q1429426) (← links)
- PLC-automata: A new class of implementable real-time automata (Q1589587) (← links)
- Expressive completeness of duration calculus. (Q1854330) (← links)
- Assessing component impairing at mission level (Q1997069) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- Guest editors' preface to special issue on interval temporal logics (Q2251123) (← links)
- Compositional reasoning using intervals and time reversal (Q2251129) (← links)
- Interval Duration Logic (Q2842590) (← links)
- Decidability of a Hybrid Duration Calculus (Q2867952) (← links)
- A duration calculus with neighborhood modalities (Q2901191) (← links)
- Axiomatic semantics of projection temporal logic programs (Q3060195) (← links)
- Simulating polyadic modal logics by monadic ones (Q3160548) (← links)
- Logical Interpolation and Projection onto State in the Duration Calculus (Q3643270) (← links)
- Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (Q4917076) (← links)
- Formal Fault Tree Analysis - Practical Experiences (Q5178999) (← 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)
- An intuitive formal proof for deadline driven scheduler (Q5945840) (← links)