Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System - Seven Myths of Formal Methods Revisited

G.J. Tretmans (Invited speaker)

    Activity: Talk or presentationOral presentation

    Period12 Jul 1999
    Held at4th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 1999
    Event typeWorkshop
    Conference number4
    LocationTrento, Italy
    Degree of RecognitionInternational

    Keywords

    • METIS-121488