Conformance Testing with Formal Methods applied to Transition Systems

G.J. Tretmans (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Paris
    Period9 Jun 1997
    Event titleVoordracht "La Journee de Forma"
    Event typeConference
    LocationParis

    Keywords

    • METIS-122691