Concepedia

R.G. Bennetts

RB

Statistics

Publications

11

Citations

471

H-Index

11

Active since

1971

Affiliations

University of Southampton(Current)

BT Group (United Kingdom)

Bennetts Associates

R.G. Bennetts is an author at University of Southampton specializing in engineering, computer engineering, and formal methods.

Top concepts

EngineeringComputer EngineeringFormal MethodsComputer ScienceAutomated ReasoningSystems EngineeringVerificationSoftware TestingFormal VerificationReliability Engineering

Publications per year

1971–2003

11

Publications

11

On the Analysis of Fault Trees

R.G. Bennetts · IEEE Transactions on Reliability · 1975 · 106 citations

Circuit Complexity, Engineering, Boolean Function +21

Introduction to Switching Theory and Logical Design

R.G. Bennetts · IEE Proceedings E Computers and Digital Techniques · 1981 · 103 citations

Applied Logic, Engineering, Automated Reasoning +5

Analysis of Reliability Block Diagrams by Boolean Techniques

R.G. Bennetts · IEEE Transactions on Reliability · 1982 · 62 citations

Engineering, Verification, Complex Systems +17

Fault TreesߞA State of the Art Discussion

J.B. Fussell, Gary J. Powers, R.G. Bennetts · IEEE Transactions on Reliability · 1974 · 56 citations

Software Maintenance, Engineering, Verification +17

COMELOT: a computer-aided measure for logic testability

R.G. Bennetts, Colin Maunder, G.D. Robinson · 1981 · 42 citations

Testability Assessment Program, Engineering, Verification +22

1–5 of 11