![](/img/cover-not-exists.png)
[ACM Press the 15th ACM SIGSOFT symposium - Bertinoro, Italy (2012.06.25-2012.06.28)] Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering - CBSE '12 - Reliability analysis in component-based development via probabilistic model checking
Benes, Nikola, Buhnova, Barbora, Cerna, Ivana, Oslejsek, RadekYear:
2012
Language:
english
DOI:
10.1145/2304736.2304752
File:
PDF, 1.66 MB
english, 2012