A component-based framework for modeling and analyzing probabilistic real-time systems.

Luca Santinelli, Patrick Meumeu Yomsi, Dorin Maxim, Liliana Cucu-Grosjean

Browse the full ETFA paper archive.