Formal Methods in Conformance Testings

G.J. Tretmans (Keynote speaker)

    Activity: Talk or presentation › Oral presentation

    Description

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

    Keywords

    • METIS-121348