Probabilistic automata for architecture-based reliability assessment.

Ivo Krka, Leana Golubchik, Nenad Medvidovic

Browse the full ICSE paper archive.