Pages that link to "Item:Q5953452"
From MaRDI portal
The following pages link to Formal design and analysis of a gear controller (Q5953452):
Displaying 6 items.
- Model-checking timed automata with deadlines with Uppaal (Q1941900) (← links)
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal (Q2568979) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Improvements for the Symbolic Verification of Timed Automata (Q3614852) (← links)
- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata (Q3648831) (← links)
- A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets (Q6622141) (← links)