학술논문
'학술논문'
에서 검색결과 55건 | 목록
1~10
Conference
2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :189-198 Oct, 2022
Conference
Katis, Andreas; Fedyukovich, Grigory; Chen, Jeffrey; Greve, David; Rayadurgam, Sanjai; Whalen, Michael W.
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2020 35th IEEE/ACM International Conference on. :250-261 Sep, 2020
Conference
Zheng, Peng; Chin, Tao-Lun; Greve, David; Oppenheim, Irving; Malone, Vanessa; Ashok, Tejasvi; Miller, James; Cao, Limin
2010 IEEE International Ultrasonics Symposium Ultrasonics Symposium (IUS), 2010 IEEE. :1462-1465 Oct, 2010
Conference
Greve, David; Parra, Jaime; Berges, Mario; Harley, Joel; Junker, Warren; Oppenheim, Irving; Zhang, Zitian
2017 IEEE International Ultrasonics Symposium (IUS) Ultrasonics Symposium (IUS), 2017 IEEE International. :1-1 Sep, 2017
Conference
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. :90-93
Periodical
Howard, Greg; Anyabwile, Pastor Thabiti; Lovell, Joan; Allison, Will; Greve, David; Blaska, David; Gottschalk, Marie; Weiner, Greg; Weisman, Steven R.; Rosenthal, Jack; Edwards, Mickey; McDougall, John; Vallely, Gary; Nunez-Noda, Fernando; Wahl, Toby; Garr, Doug; Coates, Ta-Nehisi
Conference
2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2013 IEEE/AIAA 32nd. :7B4-1-7B4-17 Oct, 2013
검색 결과 제한하기
제한된 항목
[AR] Greve, David
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어