2
Publications
403
Citations
2
H-Index
1983
Active since
Jim Baumbach is an author specializing in formal verification, engineering, and reliability engineering.
Top concepts
EngineeringVerificationFormal MethodsFault ToleranceSystem SoftwareComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringComputer Architecture
Publications per year
1983–1983
2
2
A message system supporting fault tolerance
Anita Borg, Jim Baumbach, Sam Glazer · ACM SIGOPS Operating Systems Review · 1983 · 245 citations · Full text
Engineering, Failover, Verification +18
A message system supporting fault tolerance
Anita Borg, Jim Baumbach, Sam Glazer · 1983 · 158 citations · Full text
Rows per page
1–2 of 2