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

Published in: ACM Trans. Embed. Comput. Syst. (2013)

Keyphrases