Fingerprint
Dive into the research topics of 'Experience using Spin and Promela in the Design of a Storm Surge Barrier Control System'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Experience using Spin and Promela in the Design of a Storm Surge Barrier Control System
Pim Kars
Research output: Contribution to conference › Abstract › Academic
18
Downloads
(Pure)