1
Publications
33
Citations
1
H-Index
1983
Active since
Affiliations
W. Brent Lander is an author at United States Naval Research Laboratory specializing in reliability, formal methods, and intelligent systems.
Top concepts
DiagnosisEngineeringReliabilityVerificationFormal MethodsTest AutomationComputer ScienceSoftware TestingAutomated ReasoningFormal Verification
Publications per year
1983–1983
1
1
Rows per page
1–1 of 1