Search results for: Steve McKeever
Software: Practice and Experience > 51 > 4 > 711 - 734
Journal of Big Data > 2019 > 6 > 1 > 1-27
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Hardware Compilation > 212-227
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Hardware Description Languages > 342-359
Lecture Notes in Computer Science > Field-Programmable Logic and Applications From FPGAs to Computing Paradigm > 9-18
Lecture Notes in Computer Science > Functional Imaging and Modeling of the Heart > Cardiac Research Platforms > 407-416
IEEE Journal of Biomedical and Health Informatics > 2014 > 18 > 3 > 824 - 831
Formal Aspects of Computing > 2006 > 18 > 2 > 120-142