Compositional Reliability Analysis for Probabilistic Component Automata

Pedro Rodrigues, Emil Constantine Lupu, Jeffrey Kramer. Compositional Reliability Analysis for Probabilistic Component Automata. In 7th IEEE/ACM International Workshop on Modeling in Software Engineering, MiSE 2015, Florence, Italy, May 16-17, 2015. pages 19-24, IEEE, 2015. [doi]

Authors

Pedro Rodrigues

This author has not been identified. Look up 'Pedro Rodrigues' in Google

Emil Constantine Lupu

This author has not been identified. Look up 'Emil Constantine Lupu' in Google

Jeffrey Kramer

This author has not been identified. Look up 'Jeffrey Kramer' in Google