T-UPPAAL: Online model-based testing of real-time systems

M. Mikucionis, K.G. Larsen, B. Nielsen

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

    54 Citations (Scopus)
    Original languageUndefined
    Title of host publicationProceedings of the 19th IEEE international conference on automated software engineering
    EditorsP. Grunbacher
    Place of PublicationLos Alamitos
    PublisherIEEE Computer Society
    Pages396-397
    ISBN (Print)0-7695-2131-2
    Publication statusPublished - 20 Sep 2004
    Event19th IEEE international conference on automated software engineering, (ASE 2004): Proceedings of the 19th IEEE international conference on automated software engineering - Los Alamitos
    Duration: 20 Sep 200424 Sep 2004

    Conference

    Conference19th IEEE international conference on automated software engineering, (ASE 2004)
    CityLos Alamitos
    Period20/09/0424/09/04

    Keywords

    • METIS-223927

    Cite this