Concepedia

E.F. Aber

EA

1

Publications

92

Citations

1

H-Index

1976

Active since

Affiliations

Idaho National Laboratory(Current)

E.F. Aber is an author at Idaho National Laboratory specializing in verification, automated reasoning, and computer engineering.

Top concepts

EngineeringProbabilityReliabilityVerificationFormal MethodsComputer ScienceSoftware TestingSystem ReliabilityAutomated ReasoningFormal Verification

Publications per year

1976–1976

1

Publications

1

On the Quantitative Analysis of Priority-AND Failure Logic

J.B. Fussell, E.F. Aber, R.G. Rahl · IEEE Transactions on Reliability · 1976 · 92 citations

Applied Logic, Engineering, Verification +20

Rows per page

1–1 of 1