Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System

M. Chaudron, G.J. Tretmans, K. Wijbrans

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

    6 Citations (Scopus)
    Original languageUndefined
    Title of host publicationFM'99 - World congress on Formal Methods in the Development of Computing Systems, vol. II
    Place of PublicationToulouse, France
    Pages1511-1526
    Number of pages16
    Publication statusPublished - 1 Feb 1999

    Keywords

    • METIS-119603

    Cite this