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]

Possibly Related Publications

The following publications are possibly variants of this publication: