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