학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 106건 | 목록 1~10
Conference
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International Conference on. :37-47 Nov, 2013
Conference
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on. :123-132 Nov, 2011
Conference
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on. :596-599 Nov, 2011
Conference
2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) Computer-Aided Design (ICCAD), 2010 IEEE/ACM International Conference on. :786-793 Nov, 2010
Conference
Formal Methods in Computer Aided Design Formal Methods in Computer-Aided Design (FMCAD), 2010. :231-238 Oct, 2010
Conference
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) Formal Methods and Models for Codesign (MEMOCODE), 2010 8th IEEE/ACM International Conference on. :49-58 Jul, 2010
Conference
2009 Formal Methods in Computer-Aided Design Formal Methods in Computer-Aided Design, 2009. FMCAD 2009. :61-68 Nov, 2009
Conference
2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design Formal Methods and Models for Co-Design, 2009. MEMOCODE '09. 7th IEEE/ACM International Conference on. :8-17 Jul, 2009
Conference
2008 Design, Automation and Test in Europe Design, Automation and Test in Europe, 2008. DATE '08. :831-836 Mar, 2008
검색 결과 제한하기
제한된 항목
[AR] Ganai, Malay K.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어