A Formal Model of a Car Periphery Supervision System in UPPAAL

B. Gebremichael, T. Krilavicius, Y.S. Usenko

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Original languageUndefined
    Title of host publicationProc. of Workshop on Discrete Event Systems (WODES'04)
    Place of PublicationReims, France
    Pages-
    Number of pages438
    Publication statusPublished - 2004
    EventWODES'04: Proc. of Workshop on Discrete Event Systems (WODES'04) - Reims, France
    Duration: 1 Jan 1900 → …

    Conference

    ConferenceWODES'04
    CityReims, France
    Period1/01/00 → …

    Keywords

    • METIS-221366

    Cite this