Testing Labelled Transition Systems with Inputs and Outputs

G.J. Tretmans (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Evry, France
    Period6 Sep 1995
    Event titleCOST 247 Session of the International Workshop on Protocol Test Systems VIII
    Event typeConference
    LocationEvry, France

    Keywords

    • METIS-121349