System-level verification of multi-core embedded systems using timed automata

Jan Madsen, Michael Reichhardt Hansen, Kristian S. Knudsen, Jens E. Nielsen, Aske Wiid Brekling

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

    Original languageEnglish
    Title of host publication17th World Congress International Federation of Automatic Control
    PublisherInternational Federation of Automatic Control
    Publication date2008
    Pages9302-9307
    Publication statusPublished - 2008
    Event17th World Congress International Federation of Automatic Control - Seoul
    Duration: 1 Jan 2008 → …

    Conference

    Conference17th World Congress International Federation of Automatic Control
    CitySeoul
    Period01/01/2008 → …

    Cite this