Analysis of costs of embedded systems: experiments with priced timed automata

Tolga Ovatman, Aske Wiid Brekling, Michael Reichhardt Hansen

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

    Original languageEnglish
    Title of host publicationFormal Foundations of Embedded Software and Component-Based Software Architectures : FESCA@ETAPS
    PublisherElsevier
    Publication date2008
    Pages1-14
    Publication statusPublished - 2008
    EventFormal Foundations of Embedded Software and Component-Based Software Architectures - Budapest, Hungary
    Duration: 1 Jan 2008 → …

    Conference

    ConferenceFormal Foundations of Embedded Software and Component-Based Software Architectures
    CityBudapest, Hungary
    Period01/01/2008 → …

    Cite this