Concepedia

Mónica Vela-García

MV

1

Publications

25

Citations

1

H-Index

2007

Active since

Affiliations

Universidad Complutense de Madrid(Current)

Mónica Vela-García is an author at Universidad Complutense de Madrid specializing in computer engineering, formal methods, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringSoftware Engineering

Publications per year

2007–2007

1

Publications

1

Experimental interpretation and code validation based on the PHEBUS-FP programme: Lessons learnt from the analysis of the containment scenario of FPT1 and FPT2 tests

L.E. Herranz, Mónica Vela-García, Joan Fontanet et al. · Nuclear Engineering and Design · 2007 · 25 citations

Engineering, Program Analysis, Software Testing +10

Rows per page

1–1 of 1