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

W.T.M. Kars (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Stockholm
    Period25 Sep 1995
    Event title2nd SOS Workshop 1995
    Event typeConference
    Conference number2
    LocationStockholm, Sweden

    Keywords

    • METIS-121251