The following pages link to (Q5480168):
Displaying 4 items.
- Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems (Q916414) (← links)
- Verification of \(N\)-\(M\) switching control system: a case study in temporal logic model checking (Q2922712) (← links)
- Parametric Timed Model Checking for Guaranteeing Timed Opacity (Q3297588) (← links)
- Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata (Q4989486) (← links)