Pages that link to "Item:Q2512155"
From MaRDI portal
The following pages link to Guest editorial: Verification of hybrid systems (Q2512155):
Displaying 4 items.
- An experimental batch plant as a test case for the verification of hybrid systems (Q2512157) (← links)
- Verifying untimed and timed aspects of the experimental batch plant (Q2512162) (← links)
- Design of a PLC control program for a batch plant VHS case study 1 (Q2512165) (← links)
- Automated Technology for Verification and Analysis (Q5394195) (← links)