1
Publications
16
Citations
1
H-Index
2015
Active since
Affiliations
Universitat Politècnica de Catalunya(Current)
Jaime Espinosa is an author at Universitat Politècnica de Catalunya specializing in embedded systems, formal methods, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceEmbedded SystemsProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisFormal Verification
Publications per year
2015–2015
1
1
Rows per page
1–1 of 1