Experience using Spin and Promela in the Design of a Storm Surge Barrier Control System

W.T.M. Kars

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

    Original languageUndefined
    Title of host publicationProceedings of the first SPIN Workshop
    Place of PublicationMontreal, Canada
    Number of pages5
    Publication statusPublished - 16 Oct 1995


    • METIS-120041

    Cite this