Testing times : on model-driven test generation for non-deterministic real-time systems

E. Brinksma

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

    Original languageEnglish
    Title of host publicationProceedings 4th International Conference on Application of Concurrency to System Design (ACSD 2004, Hamilton, Canada, June 16-18, 2004)
    PublisherIEEE Computer Society
    ISBN (Print)0-7695-2077-4
    Publication statusPublished - 2004

    Cite this