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
    Event title2nd International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1996
    Event typeWorkshop
    Conference number2
    LocationPassau, Germany, BavariaShow on map

    Keywords

    • METIS-121211