[Fra15]
Joao Miguel Costa Sousa Franco.
Automated Reliability Prediction and Analysis from Software Architectures.
Ph.D. thesis, University of Coimbra.
2015.
[Proposes automated techniques for predicting the reliability of software architectures, including the use of PRISM for model analysis.]
|
