Search results for: Magdy S. Abadir
Lecture Notes in Computer Science > Hardware and Software, Verification and Testing > Hardware Verification Track > 34-49
Design Automation Conference > 374 - 379
IEEE Design & Test of Computers > 2010 > 27 > 3 > 42 - 53
IEEE Design & Test of Computers > 2007 > 24 > 2 > 110 - 111
Journal of Electronic Testing > 2005 > 21 > 5 > 495-502
Formal Methods in System Design > 2003 > 22 > 2 > 117-123
Design Automation for Embedded Systems > 2003 > 8 > 2-3 > 173-188
Journal of Electronic Testing > 2000 > 16 > 1-2 > 121-130