The following pages link to Models for reactivity (Q1323323):
Displaying 11 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)
- Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification (Q5047167) (← links)
- Temporal logics for the specification of performance and reliability (Q5047168) (← links)
