Pages that link to "Item:Q5394195"
From MaRDI portal
The following pages link to Automated Technology for Verification and Analysis (Q5394195):
Displaying 5 items.
- From control law diagrams to Ada via \textsf{Circus} (Q640296) (← links)
- Guest editorial: Verification of hybrid systems (Q2512155) (← links)
- Formal verification of specification models (Q2783117) (← links)
- Mutation-Based Test Case Generation for Simulink Models (Q3066126) (← links)
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959) (← links)