@inproceedings{991995,
author = {Beneš, Nikola and Bühnová, Barbora and Černá, Ivana and Ošlejšek, Radek},
address = {New York, NY, USA},
booktitle = {Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12)},
doi = {http://dx.doi.org/10.1145/2304736.2304752},
keywords = {Reliability; component-based systems; probabilistic model checking; Markov decision processes (MDP)},
howpublished = {tištěná verze "print"},
language = {eng},
location = {New York, NY, USA},
isbn = {978-1-4503-1345-2},
pages = {83-92},
publisher = {ACM},
title = {Reliability analysis in component-based development via probabilistic model checking},
year = {2012}
}