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

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Montreal, Canada
    Period16 Oct 1996
    Event title1st SPIN Workshop
    Event typeConference
    LocationMontreal, Canada

    Keywords

    • METIS-121201