Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems

Radu Calinescu, Shinji Kikuchi, Kenneth Johnson. Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems. In Radu Calinescu, David Garlan, editors, Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers. Volume 7539 of Lecture Notes in Computer Science, pages 303-329, Springer, 2012. [doi]

Authors

Radu Calinescu

This author has not been identified. It may be one of the following persons: Look up 'Radu Calinescu' in Google

Shinji Kikuchi

This author has not been identified. Look up 'Shinji Kikuchi' in Google

Kenneth Johnson

This author has not been identified. Look up 'Kenneth Johnson' in Google