Testing real-time multi input-output systems

L. Brandán Briones, E. Brinksma

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

15 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