1
Publications
40
Citations
1
H-Index
1961
Active since
Affiliations
W. A. Hosier is an author at Renewable Energy Systems (United States) specializing in software engineering, hardware security, and formal verification.
Top concepts
AutomationEngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisHardware SecurityReal-time SystemsSoftware AnalysisFormal Verification
Publications per year
1961–1961
1
1
Rows per page
1–1 of 1