Originalsprog | Engelsk |
---|---|
Tidsskrift | International Journal on Software Tools for Technology Transfer |
Vol/bind | 14 |
Udgave nummer | 6 |
Sider (fra-til) | 703-720 |
ISSN | 1433-2779 |
Status | Udgivet - 2012 |
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 tidsskrift › Tidsskriftartikel › Forskning › peer review