2
Publications
395
Citations
2
H-Index
1978
Active since
Affiliations
Metze is an author at University of Illinois Urbana-Champaign specializing in formal methods, hardware security, and verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceNetwork AnalysisHardware SecurityAutomated ReasoningFormal VerificationComputer EngineeringLogic Design
Publications per year
1978–1978
2
2
Strongly Fault Secure Logic Networks
Smith, Metze · IEEE Transactions on Computers · 1978 · 246 citations · Full text
Fault Detection Capabilities of Alternating Logic
Reynolds, Metze · IEEE Transactions on Computers · 1978 · 149 citations
Rows per page
1–2 of 2