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
    Event title4th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 1999
    Event typeWorkshop
    Conference number4
    LocationTrento, Italy
    Degree of RecognitionInternational


    • METIS-121488