2
Publications
84
Citations
2
H-Index
2010
Active since
Affiliations
Dependable Computing (United States)(Current)
Hiroki Takamura is an author at Dependable Computing (United States) specializing in software design, system software, and software engineering.
Top concepts
EngineeringSoftware DesignSystem SoftwareComputer ScienceSoftware EngineeringFormal MethodsProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2010–2018
2
2
Rows per page
1–2 of 2