Formal Methods for Conformance Testing

Brinksma, H. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Moffett Field, CA, USA
    Period29 Aug 2000
    Event titleColloquium, Automated Software Engineering Group, NASA Ames Research Center
    Event typeConference
    LocationMoffett Field, CA, USA

    Keywords

    • METIS-120926