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]
@inproceedings{CalinescuKJ12,
title = {Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems},
author = {Radu Calinescu and Shinji Kikuchi and Kenneth Johnson},
year = {2012},
doi = {10.1007/978-3-642-34059-8_16},
url = {http://dx.doi.org/10.1007/978-3-642-34059-8_16},
researchr = {https://researchr.org/publication/CalinescuKJ12},
cites = {0},
citedby = {0},
pages = {303-329},
booktitle = {Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers},
editor = {Radu Calinescu and David Garlan},
volume = {7539},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-34058-1},
}