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

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

34 Citationer (Scopus)
324 Downloads (Pure)
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind6252
Sider (fra-til)365-370
ISSN0302-9743
DOI
StatusUdgivet - 2010

Citationsformater