The following pages link to Models for reactivity (Q1323323):
Displaying 16 items.
- Temporal logics with incommensurable distances are undecidable (Q879597) (← links)
- Semantics and pragmatics of real-time maude (Q880982) (← links)
- Complexity of metric temporal logics with counting and the Pnueli modalities (Q974119) (← links)
- Decidable metric logics (Q999264) (← links)
- Design for delay verifiability (Q1288419) (← links)
- Completeness of the accumulation calculus (Q1383468) (← links)
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- Timer formulas and decidable metric temporal logic (Q1780454) (← links)
- Hybrid diagrams (Q1853604) (← links)
- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities (Q3543292) (← links)
- Formal verification of multi-agent systems behaviour emerging from cognitive task analysis (Q4467046) (← links)
- A formal definition of hierarchical predicate transition nets (Q4633163) (← links)
- Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification (Q5047167) (← links)
- Temporal logics for the specification of performance and reliability (Q5047168) (← links)
- The Expressive Power of Temporal and First-Order Metric Logics (Q5049053) (← links)
- Verification in continuous time by discrete reasoning (Q5096392) (← links)
