Refusal Testing for Classes of Transition Systems

  • A.W. Heerink (Keynote speaker)

    Activity: Talk or presentation › Invited talk

    Period19 Nov 1997
    Event title17th International Symposium on Protocol Specification, Testing, and Verification, PSTV 1997
    Event typeConference
    Conference number17
    LocationOsaka, JapanShow on map