Pages that link to "Item:Q1377324"

The following pages link to Duration calculus: Logical foundations (Q1377324):

Displaying 34 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)
• Metric temporal logic with durations (Q673880) (← links)
• Advanced features of duration calculus and their applications in sequential hybrid programs (Q706508) (← links)
• Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
• Non-elementary lower bound for Propositional Duration Calculus (Q1129106) (← links)
• A calculus of durations (Q1183485) (← links)
• Decidability of mean value calculus (Q1288439) (← links)
• Induction in the timed interval calculus (Q1399964) (← links)
• Duration calculus. A formal approach to real-time systems. (Q1428351) (← 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)
• Unifying proof methodologies of duration calculus and timed linear temporal logic (Q1882794) (← 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: expressiveness and decidability (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)
• A duration calculus with infinite intervals (Q5055877) (← links)
• Formal Fault Tree Analysis - Practical Experiences (Q5178999) (← links)
• Theoretical Aspects of Computing - ICTAC 2004 (Q5709977) (← links)
• Theoretical Aspects of Computing - ICTAC 2004 (Q5709993) (← links)
• Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900548) (← 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)
• A temporal logic for successive events (Q6562543) (← links)