Pages that link to "Item:Q548704"
From MaRDI portal
The following pages link to Timed modal logics for real-time systems. Specification, verification and control (Q548704):
Displaying 15 items.
- Real-time logics: Complexity and expressiveness (Q689093) (← links)
- Guest editorial: Special issue on formal modeling and analysis of timed systems (Q1699226) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
- Compositional verification of real-time systems with explicit clock temporal logic (Q1918934) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- (Q2753788) (← links)
- Verification of \(N\)-\(M\) switching control system: a case study in temporal logic model checking (Q2922712) (← links)
- Real-time semantics of state transition for embedded control systems (Q2927023) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- Refinement and Consistency of Timed Modal Specifications (Q3618577) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- (Q5021015) (← links)
- A menagerie of timed automata (Q5176174) (← links)
- Integrated Formal Methods (Q5901617) (← links)
- Modularity for timed and hybrid systems (Q6044109) (← links)
