Conformance Testing with Formal Methods applied to Transition Systems

G.J. Tretmans (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Schloss Dagstuhl, Saarbrucken, Germany
    Period7 Sep 1998
    Event titleVoordracht Seminar "Test Automation for Reactive Systems - Theorie and Practice"
    Event typeConference
    LocationSchloss Dagstuhl, Saarbrucken, Germany

    Keywords

    • METIS-121497