Skip to search boxSkip to navigationSkip to main content

ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems

  • Alexandre David
    ,
  • Kim Guldstrand Larsen
    ,
  • Axel Legay
    ,
  • Ulrik Mathias Nyman
    ,
  • Andrzej Wasowski
  • Aalborg University
    ,
  • The French National Institute for Computer Science (INRIA)
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Host publication Subtitle

Automated Technology for Verification and Analysis (ATVA)

Original language

English

Publication milestones

  • Published - 2010

Publication status

Published - 2010

Volume

6252/2010

Publisher

Springer, United States, Germany

Host publication title

Lecture Notes in Computer Science