Formal Methods in Conformance Testing

F. Kristoffersen (Invited speaker), M. Phalippou (Invited speaker), G.J. Tretmans (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Warsaw, Poland
    Period13 Jun 1995
    Event titleTutorial Presentation and Tutorial Notes at Protocol Specification, Testing and Verification '95 (PSTV'95)
    Event typeConference
    LocationWarsaw, Poland

    Keywords

    • METIS-121366