3
Publications
71
Citations
3
H-Index
2002
Active since
Affiliations
Paula Prata is an author at University of Beira Interior specializing in engineering, systems engineering, and software testing.
Top concepts
EngineeringVerificationFormal MethodsFault ToleranceComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
2002–2012
3
3
Practical issues in the use of ABFT and a new failure model
J.G. Silva, Paula Prata, Mário Zenha-Rela et al. · 2002 · 24 citations
Rows per page
1–3 of 3