Travelled to:1 × Germany
Collaborated with:T.Clement
Talks about:scheldt (1) eastern (1) barrier (1) system (1) specif (1) method (1) formal (1) storm (1) emerg (1) close (1)
Person: Meine van der Meulen
DBLP: Meulen:Meine_van_der
Contributed to:
1998Wrote 1 papers:
- 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.