1
Publications
13
Citations
1
H-Index
1980
Active since
Affiliations
H.J. Benson is an author at Lawrence Livermore National Laboratory specializing in system reliability, dynamic reliability, and formal methods.
Top concepts
StabilityEngineeringReliabilityVerificationFormal MethodsComputer ScienceSystem ReliabilityDynamic ReliabilityFormal VerificationSystems Engineering
Publications per year
1980–1980
1
1
Rows per page
1–1 of 1