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]
@article{CazorlaQVCTBBAWHSKLM13,
title = {PROARTIS: Probabilistically Analyzable Real-Time Systems},
author = {Francisco J. Cazorla and Eduardo Quiñones and Tullio Vardanega and Liliana Cucu and Benoit Triquet and Guillem Bernat and Emery D. Berger and Jaume Abella and Franck Wartel and Michael Houston and Luca Santinelli and Leonidas Kosmidis and Code Lo and Dorin Maxim},
year = {2013},
doi = {10.1145/2465787.2465796},
url = {http://doi.acm.org/10.1145/2465787.2465796},
researchr = {https://researchr.org/publication/CazorlaQVCTBBAWHSKLM13},
cites = {0},
citedby = {0},
journal = {ACM Trans. Embedded Comput. Syst.},
volume = {12},
number = {2s},
pages = {94},
}