On the Formal Validation of a Storm Surge Barrier

Brinksma, H. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited
    Period4 May 1997
    Held at2nd International ERCIM Workshop on Formal Methods for Industrial Critical Systems, FMICS 1997
    Event typeConference
    Conference number2
    LocationCesena, Italy
    Degree of RecognitionInternational

    Keywords

    • METIS-122704