Formal Methods for Safety Critical Systems - The BOS Project

G.J. Tretmans (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    TWAIO Opleiding
    Period26 Jan 1999
    Held atEindhoven University of Technology, Netherlands
    Degree of RecognitionNational