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 presentationOral presentation

    Description

    OOTI course
    Period22 Feb 2000
    Held atEindhoven University of Technology, Netherlands
    Degree of RecognitionNational