|
[FBZ12]
Joao M. Franco, Raul Barbosa and Mario Zenha-Rela.
Automated Reliability Prediction from Formal Architectural Descriptions.
In Proc. 2012 Joint Working IEEE/IFIP Conference on Software Architecture (WICSA) and European Conference on Software Architecture (ECSA).
2012.
[Analyses quality attributes of software architectures by translating an architecture design language into PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|