Pages that link to "Item:Q5709982"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing - ICTAC 2004 (Q5709982):
Displaying 11 items.
- Verification of duration systems using an approximation approach (Q1429422) (← links)
- Checking temporal duration properties of timed automata. (Q1433946) (← links)
- Checking timed automata for linear duration properties (Q1587334) (← links)
- Decidable verification for reducible timed automata specified in a first order logic with time (Q1606131) (← 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)
- LTL over integer periodicity constraints (Q2503321) (← links)
- On verification of linear occurrence properties of real-time systems (Q2873689) (← links)
- Checking Integral Real-Time Automata for Extended Linear Duration Invariants (Q3460214) (← links)
- Robust Model-Checking of Linear-Time Properties in Timed Automata (Q3525763) (← links)
- Verification of Linear Duration Invariants by Model Checking CTL Properties (Q5505616) (← links)