Erik Yu-Shing Hu is an author at University of York specializing in program analysis, system software, and formal methods.
Top concepts
EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingReal-time SystemsSoftware AnalysisSystems EngineeringSoftware Engineering
Publications per year
2003–2006
3
3
Safety critical applications and hard real-time profile for Java
Erik Yu-Shing Hu, Éric Jenn, Nicolas Valot et al. · 2006 · 13 citations
Rows per page
1–3 of 3