Radek Ošlejšek

2012

Nikola Beneš, Barbora Bühnová, Ivana Černá, and Radek Ošlejšek:
Reliability analysis in component-based development via probabilistic model checking,
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE ’12), ACM, 2012, 83-92. [bibtex, url]