Formal Conformance Testing of Concurrent Systems: A Framework and a Theory

G.J. Tretmans (Invited speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Rennes, France
    Period31 Jan 2000
    Event titlePresentation at IRISA
    Event typeConference
    LocationRennes, France

    Keywords

    • METIS-120880