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]

Authors

Francisco J. Cazorla

This author has not been identified. Look up 'Francisco J. Cazorla' in Google

Eduardo Quiñones

This author has not been identified. Look up 'Eduardo Quiñones' in Google

Tullio Vardanega

This author has not been identified. Look up 'Tullio Vardanega' in Google

Liliana Cucu

This author has not been identified. Look up 'Liliana Cucu' in Google

Benoit Triquet

This author has not been identified. Look up 'Benoit Triquet' in Google

Guillem Bernat

This author has not been identified. Look up 'Guillem Bernat' in Google

Emery D. Berger

This author has not been identified. Look up 'Emery D. Berger' in Google

Jaume Abella

This author has not been identified. Look up 'Jaume Abella' in Google

Franck Wartel

This author has not been identified. Look up 'Franck Wartel' in Google

Michael Houston

This author has not been identified. Look up 'Michael Houston' in Google

Luca Santinelli

This author has not been identified. Look up 'Luca Santinelli' in Google

Leonidas Kosmidis

This author has not been identified. Look up 'Leonidas Kosmidis' in Google

Code Lo

This author has not been identified. Look up 'Code Lo' in Google

Dorin Maxim

This author has not been identified. Look up 'Dorin Maxim' in Google