4 papers:
FM-2008-WijbransBRG #case study #development #experience #formal method #re-engineering- Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System (KW, FB, RR, WG), pp. 419–424.
CASE-2006-SunXZ #adaptation #correlation #performance #self- Self-adaptive Surge Adjustment based on Fast Correlation Integral Method in Centrifugal Compressors (TS, GX, CZ), pp. 661–666.
- FM-v2-1999-ChaudronTW #design #formal method #lessons learnt
- Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System (MRVC, JT, KW), pp. 1511–1526.
- FM-1998-MeulenC #formal method #specification
- Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier (MvdM, TC), pp. 296–301.
