Testing real-time multi input-output systems

L. Brandán Briones, E. Brinksma

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

    18 Citations (Scopus)
    Original languageEnglish
    Title of host publicationFormal Methods and Software Engineering (Proceedings 7th International Conference, ICFEM 2005, Manchester, UK, November 1-4, 2005)
    EditorsK.K. Lau, R. Banach
    PublisherSpringer
    Pages264-279
    ISBN (Print)3-540-29797-9
    DOIs
    Publication statusPublished - 2005

    Publication series

    NameLecture Notes in Computer Science
    Volume3785
    ISSN (Print)0302-9743

    Cite this