Modelling and schedulability test of real-time tasks with timed automata

Hong Yan Sun

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

    Original languageEnglish
    Title of host publicationParallel and Distributed Processing Techniques and Applications PDPTA, vol. 4
    Publication date2001
    EditionCSREA Press
    Pages2145-2151
    Publication statusPublished - 2001

    Cite this