2
Publications
26
Citations
2
H-Index
2013
Active since
Affiliations
Instituto Politécnico Nacional(Current)
Ricardo Barrón Fernández is an author at Instituto Politécnico Nacional specializing in formal methods, computer engineering, and design for testing.
Top concepts
EngineeringFormal MethodsComputer ScienceSoftware TestingDesign For TestingFormal VerificationSystems EngineeringComputer EngineeringVerificationProgram Analysis
Publications per year
2013–2015
2
2
Alfonso Martínez-Cruz, Ricardo Barrón Fernández, Herón Molina-Lozano et al. · Journal of Electronic Testing · 2015 · 15 citations
Differential Evolution, Engineering, Computational Testing +14
Rows per page
1–2 of 2