The following pages link to Models for reactivity (Q1323323):
Displaying 25 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)
- Functional specification and proof of correctness for time dependent behaviour of reactive systems (Q1176111) (← 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)
- A practical theory of reactive systems. Incremental modeling of dynamic behaviors. (Q1770845) (← links)
- Timer formulas and decidable metric temporal logic (Q1780454) (← links)
- Hybrid diagrams (Q1853604) (← links)
- A blocking model for reactive objects (Q1918937) (← links)
- Deterministic models of the simplest chemical reactions (Q2481419) (← links)
- Modelling and simulation of reactive systems (Q2751891) (← links)
- Time-awareness and proactivity in models of interactive computation (Q2863847) (← links)
- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities (Q3543292) (← links)
- Bond graph modelling for chemical reactors (Q3595278) (← 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)
- Perspectives of System Informatics (Q5902422) (← links)
- Modularity for timed and hybrid systems (Q6044109) (← links)
