|
[FBZ14]
João M Franco, Raul Barbosa, Mário Zenha-Rela.
Availability Evaluation of Software Architectures through Formal Methods.
In Proc. 9th International Conference on the Quality of Information.
2014.
[Analyses availability constraints on software architectures, including probabilistic model checking with PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|