Search results for: Jacob Abraham
IEEE Transactions on Circuits and Systems I: Regular Papers > 2017 > 64 > 7 > 1673 - 1683
Lecture Notes in Computer Science > Computer Aided Verification > Compositional/Structural Verification > 151-165
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Case Studies > 386-402
Case Based Echocardiography > 277-282
Case Based Echocardiography > 37-46