Formal Methods in Conformance Testing: A probabilistic refinement

A.W. Heerink (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Darmstadt, Germany
    Period10 Sep 1996
    Event titlevoordracht, 9th International Workshop on Testing of Communicating Systems
    Event typeConference
    LocationDarmstadt, Germany

    Keywords

    • METIS-121208