Test Generation with Inputs, Outputs, and Quiescence

G.J. Tretmans (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker
    Period27 Mar 1996
    Held at Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS '96
    Event typeWorkshop
    Conference number2
    LocationPassau, Germany

    Keywords

    • METIS-121211