R. D. Peterson is an author at IBM (United States) specializing in verification, parallel computing, and hardware verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceEmbedded SystemsHardware SystemsHardware SecurityParallel ComputingFormal VerificationSystem-level Design
Publications per year
2002–2005
2
2
Rows per page
1–2 of 2