Michael James Batek is an author at University of Michigan specializing in engineering, verification, and formal methods.
Top concepts
EngineeringVerificationCircuit DesignFormal MethodsComputer ScienceBuilt-in Self-testDesign For TestingAutomated ReasoningFormal VerificationComputer Engineering
Publications per year
1992–2003
3
3
Test-set preserving logic transformations
Michael James Batek, John P. Hayes · Design Automation Conference · 1992 · 19 citations
Rows per page
1–3 of 3