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: Mierlo
    Period10 Mar 1997
    Event titleIPA Lentedagen 1997: Testen
    Event typeConference
    LocationMierlo, Netherlands

    Keywords

    • METIS-122692