Timed I/O Automata: A Complete Specification Theory for Real-time Systems

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Mathias Nyman, Andrzej Wasowski

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationHSCC '10 Proceedings of the 13th ACM international conference on Hybrid systems : computation and control
    PublisherAssociation for Computing Machinery
    Publication date2010
    ISBN (Electronic)978-1-60558-955-8
    Publication statusPublished - 2010
    EventInternational Conference on Hybrid Systems: Computation and Control.    April 12-16, - Stockholm, Sweden
    Duration: 12 Apr 201016 Apr 2010
    Conference number: 13

    Conference

    ConferenceInternational Conference on Hybrid Systems: Computation and Control.    April 12-16,
    Number13
    Country/TerritorySweden
    CityStockholm
    Period12/04/201016/04/2010

    Cite this