Skip to main navigation Skip to search Skip to main content

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 presentation › Oral presentation

    Period12 Jul 1999
    Event title4th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 1999
    Event typeWorkshop
    Conference number4
    LocationTrento, ItalyShow on map
    Degree of RecognitionInternational

    Keywords

    • METIS-121488