|
[HKL+10]
B. Haverkort, M. Kuntz, F. Leitner-Fischer, A. Remke and S. Roolvink.
Probabilistic Verification of Architectural Software Models using SoftArc and Prism.
In Proc. ESREL Annual Conference.
2010.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|