Formal Methods in Conformance Testings

G.J. Tretmans (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Warszawa, Poland
    Period13 Jun 1995
    Event titleTutorial at Protocol Specification, Testing, and Verification XV: null
    Event typeConference
    LocationWarszawa, Poland

    Keywords

    • METIS-121348