The following pages link to DCVALID (Q32234):
Displaying 15 items.
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- Specification and verification of multimedia synchronization in duration calculus (Q1429426) (← links)
- Verification and enforcement of access control policies (Q2248087) (← links)
- A practical approach to model checking duration calculus using Presburger arithmetic (Q2251131) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Specification and optimal reactive synthesis of run-time enforcement shields (Q2672248) (← links)
- (Q2771065) (← links)
- Interval duration logic: expressiveness and decidability (Q2842590) (← links)
- Finding extremal models of discrete duration calculus formulae using symbolic search (Q2848425) (← links)
- Decidability of a hybrid duration calculus (Q2867952) (← links)
- Bounded model-checking of discrete duration calculus (Q2986927) (← links)
- PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic (Q3643268) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703768) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897790) (← links)
- Computer Aided Verification (Q5900677) (← links)