Compositional Reliability Analysis for Probabilistic Component Automata.

Pedro Rodrigues, Emil Constantine Lupu, Jeffrey Kramer

Browse the full ICSE paper archive.