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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. It may be one of the following persons:

Radu Calinescu

Look up 'Radu Calinescu' in GoogleThis author has not been identified. Look up 'Shinji Kikuchi' in GoogleIdentified as Kenneth Johnson

runs on WebDSL