Frank J. Balbach is an author at University of Waterloo specializing in embedded systems, formal methods, and system reliability.
Top concepts
TeachingEducationEngineeringReliabilityVerificationFormal MethodsSystem SoftwareComputer ScienceEmbedded SystemsSoftware Testing
Publications per year
1994–2010
4
4
Fault Tolerance in Massively Parallel Systems
Geert Deconinck, Johan Vounckx, Rudi Cuyvers et al. · 1994 · 11 citations
Rows per page
1–4 of 4