Factorized test generation for multi-input/output transition systems

E. Brinksma, L. Heerink, J. Tretmans

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationTesting of Communication Systems (Proceedings of the IFIP TC6 11th International Workshop, IWTCS, Tomsk, Russia, August 31-September 2, 1998)
    EditorsA. Petrenko, N. Yevtushenko
    PublisherKluwer
    Pages67-82
    ISBN (Print)0-412-84430-3
    Publication statusPublished - 1998

    Publication series

    NameIFIP Conference Proceedings
    Volume131
    ISSN (Print)1571-5736

    Cite this