Formal test automation: The conference protocol with TGV/TORX

L. Du bousquet, S. Ramangalahy, S. Simon, C. Viho, Axel Belinfante, R.G. de Vries

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

    Original languageUndefined
    Title of host publication13th Int. Conference on Testing of Communicating System (TestCom 2000)
    Place of PublicationOttawa, Canada
    Pages221-228
    Publication statusPublished - 24 Feb 2000

    Keywords

    • METIS-119681

    Cite this