Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier.

Meine van der Meulen, Tim Clement

Browse the full FM paper archive.