Concepedia
Statistics
Publications
1
Citations
85
H-Index
Active since
1976
R. Kerr is an author specializing in hardware security, formal verification, and system reliability.
Top concepts
EngineeringReliabilityVerificationFault ToleranceSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware Analysis
Publications per year
1976–1976
Recovery blocks in action: A system supporting high reliability
Thomas Anderson, R. Kerr · International Conference on Software Engineering · 1976 · 85 citations
Software Maintenance, Engineering, Verification +22
1–1 of 1