PROARTIS: Probabilistically Analyzable Real-Time Systems

Francisco J. Cazorla, Eduardo QuiƱones, Tullio Vardanega, Liliana Cucu, Benoit Triquet, Guillem Bernat, Emery D. Berger, Jaume Abella, Franck Wartel, Michael Houston, Luca Santinelli, Leonidas Kosmidis, Code Lo, Dorin Maxim. PROARTIS: Probabilistically Analyzable Real-Time Systems. ACM Trans. Embedded Comput. Syst., 12(2s):94, 2013. [doi]

No reviews for this publication, yet.