Compositional verification of real-time systems using Ecdar

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael Harkjær Møller, Ulrik Mathias Nyman, Anders Peter Ravn, Arne Joachim Skou, Andrzej Wasowski

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftInternational Journal on Software Tools for Technology Transfer
Vol/bind14
Udgave nummer6
Sider (fra-til)703-720
ISSN1433-2779
StatusUdgivet - 2012

Citationsformater