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

    Description

    Opmerking: Invited Plaats van uitgifte: Rennes, France
    Period4 Feb 2000
    Event titleIRISA Colloquium
    Event typeConference
    LocationRennes, France

    Keywords

    • METIS-120878