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

    Keywords

    • METIS-221366

    Cite this

    Gebremichael, B., Krilavicius, T., & Usenko, Y. S. (2004). A Formal Model of a Car Periphery Supervision System in UPPAAL. In Proc. of Workshop on Discrete Event Systems (WODES'04) (pp. -). Reims, France.