Path
Home
News
The Centre
Research Groups
People
Projects
Publications
Tech Reports
Open Positions
Events
How to get to CISUC
Member Access
People
Francisco Correia
Email
Export publications Citations
Export publications BibTeX
Conference Articles
2013
(1 publication)
Mario Zenha-Rela and Barbosa, R. and Correia, F. , "Affidavit: Automated Reliability Prediction and Analysis of Software Architectures", in
INForum
, 2013