I/O-automata based testing

H.M. van der Bijl, F. Peureux

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    7 Citations (Scopus)
    Original languageUndefined
    Title of host publicationModel-based testing of reactive systems
    EditorsM. Broy, B. Jonsson, J.P. Katoen, M. Leucker, A. Pretschner
    Place of PublicationBerlin
    PublisherSpringer
    Pages173-200
    ISBN (Print)3-540-26278-4
    Publication statusPublished - 2005

    Publication series

    NameLecture notes in computer science
    Number3472

    Keywords

    • METIS-229284

    Cite this