1
Publications
55
Citations
1
H-Index
2014
Active since
Affiliations
University of British Columbia(Current)
Michael Herzberg is an author at University of British Columbia specializing in formal methods, software design, and system software.
Top concepts
EngineeringData ModelingFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2014–2014
1
1
Behavioral resource-aware model inference
Tony Ohmann, Michael Herzberg, Sebastian Fiss et al. · 2014 · 55 citations
Rows per page
1–1 of 1