Concepedia

R.G. Rahl

RR

1

Publications

92

Citations

1

H-Index

1976

Active since

Affiliations

Idaho National Laboratory(Current)

R.G. Rahl is an author at Idaho National Laboratory specializing in computer engineering, verification, and probability theory.

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