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

    Chaudron, M., Tretmans, G. J., & Wijbrans, K. (1999). Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. In FM'99 - World congress on Formal Methods in the Development of Computing Systems, vol. II (pp. 1511-1526). Toulouse, France.