Formal Methods for Safety Critical Systems - The BOS Project

  • G.J. Tretmans (Invited speaker)

    Activity: Talk or presentation › Oral presentation

    Description

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