Pages that link to "Item:Q2335947"
From MaRDI portal
The following pages link to A verification-driven framework for iterative design of controllers (Q2335947):
Displaying 5 items.
- TOrPEDO : witnessing model correctness with topological proofs (Q2065548) (← links)
- A contribution to the validation of grafcet controlled systems (Q2512110) (← links)
- Incremental verification for on-the-fly controller synthesis (Q2852029) (← links)
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design (Q5039527) (← links)
- Verifying stabilizing controllers for performance improvement using closed‐loop data (Q5743758) (← links)