Skip to main navigation Skip to search Skip to main content

Experience Using Formal Methods in the Design of a Storm Surge Barrier Control System

  • W.T.M. Kars (Keynote speaker)

    Activity: Talk or presentation › Oral presentation

    Period16 Oct 1995
    Event title1st SPIN Workshop 1996
    Event typeConference
    Conference number1
    LocationMontreal, Canada, QuebecShow on map
    Degree of RecognitionInternational