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

G.J. Tretmans, Klaas Wijbrans, Michel Chaudron

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    16 Downloads (Pure)
    Original languageEnglish
    Title of host publicationFourth International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'99)
    Subtitle of host publicationProceedings of the FLoC Workshop, Pisa, Italy, 1999
    EditorsS. Gnesi, D. Latella
    Pages225-237
    Number of pages13
    VolumeII
    Publication statusPublished - 1999
    Event4th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 1999 - Trento, Italy
    Duration: 11 Jul 199912 Jul 1999
    Conference number: 4

    Workshop

    Workshop4th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 1999
    Abbreviated titleFMICS
    CountryItaly
    CityTrento
    Period11/07/9912/07/99

    Keywords

    • FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

    Cite this