Developments in Testing Transition Systems

Hendrik Brinksma, M. Kim (Editor), S. Kang (Editor), A.W. Heerink, K. Hong (Editor), G.J. Tretmans

    Research output: Contribution to conferencePaperpeer-review

    37 Downloads (Pure)
    Original languageUndefined
    Pages143-166
    Number of pages24
    Publication statusPublished - 1997
    EventInt. Workshop on Testing of Communicating Systems X -
    Duration: 1 Jan 19971 Jan 1997

    Workshop

    WorkshopInt. Workshop on Testing of Communicating Systems X
    Period1/01/971/01/97

    Keywords

    • FMT-TESTING
    • IR-63295
    • EWI-6474

    Cite this