Timing Constraints Validation Using Uppaal. Architecture and Design of Distributed Embedded Systems

Hong Yan Sun

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationIFIP WG10.3 , WG10.4, WG10.5 International Workshop DIPES 2000
    PublisherKluwer Academic Publishers
    Publication date2000
    Pages161-171
    Publication statusPublished - 2000

    Cite this