Online testing of real-time systems using UPPAAL

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

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

    Original languageUndefined
    Title of host publicationFormal approaches to software testing: FATES 2004
    EditorsJ. Grabowski, B. Nielsen
    Place of PublicationBerlin
    PublisherSpringer
    Pages79-94
    ISBN (Print)3-540-25109-X
    Publication statusPublished - 21 Sep 2004
    Event4th International Workshop on Formal Approaches to Testing of Software, FATES 2004: Formal approaches to software testing: FATES 2004 - Linz, Austria, Linz, Austria
    Duration: 21 Sep 200421 Sep 2004
    Conference number: 4

    Publication series

    Name
    Volume3395
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference4th International Workshop on Formal Approaches to Testing of Software, FATES 2004
    Abbreviated titleFATES 2004
    CountryAustria
    CityLinz
    Period21/09/0421/09/04
    Other21 Sep 2004

    Keywords

    • METIS-223928

    Cite this