Robust Specification of Real Time Components

Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski

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

Original languageUndefined/Unknown
Title of host publicationFormal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings : Lecture Notes in Computer Science
Number of pages129
Publication date2011
ISBN (Print)978-3-642-24310-3_10
Publication statusPublished - 2011

Cite this