Saad Waqas is an author at Stanford University specializing in formal verification, computer engineering, and automated reasoning.
Top concepts
EngineeringFuzzy LogicVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationComputer Engineering
Publications per year
2006–2006
1
1
Combinational Logic Soft Error Correction
Subhasish Mitra, Ming Zhang, Saad Waqas et al. · 2006 · 164 citations
Rows per page
1–1 of 1