Test derivation from timed automata

L. Brandan Briones, M. Roehl

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Original languageUndefined
    Title of host publicationModel-based testing of reactive systems
    Place of PublicationDagstuhl
    PublisherDagstuhl
    Pages-
    Number of pages30
    Publication statusPublished - 2004

    Keywords

    • METIS-220881

    Cite this

    Brandan Briones, L., & Roehl, M. (2004). Test derivation from timed automata. In Model-based testing of reactive systems (pp. -). Dagstuhl: Dagstuhl.