Pages that link to "Item:Q684564"
From MaRDI portal
The following pages link to Specifying message passing and time-critical systems with temporal logic (Q684564):
Displaying 13 items.
- Metric temporal logic with durations (Q673880) (← links)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Early verification and validation of mission critical systems (Q883137) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Duration calculus: Logical foundations (Q1377324) (← links)
- Decidability results for metric and layered temporal logics (Q1815429) (← links)
- Compositional verification of real-time systems with explicit clock temporal logic (Q1918934) (← links)
- SMT-based satisfiability of first-order LTL with event freezing functions and metric operators (Q2182731) (← links)
- A Hybridization of Irreflexive Modal Logics (Q2867951) (← links)
- (Q3384172) (← links)
- Inequality without irreflexivity (Q4443418) (← links)
- Formalization of Invariant Patterns for the Invariant Refinement Method (Q5256374) (← links)
- Axioms for real-time logics (Q5958467) (← links)