A Formal Verification Study on the Rotterdam Storm Surge Barrier.

Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen

Browse the full ICFEM paper archive.