ECDAR: An Environment for Compositional Design and Analysis of 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 publicationLecture Notes in Computer Science : Automated Technology for Verification and Analysis (ATVA)
Number of pages6
Volume6252/2010
PublisherSpringer
Publication date2010
Publication statusPublished - 2010

Cite this