학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 86건 | 목록 1~10
Conference
2017 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2017. :172-175 Oct, 2017
Report
2017 Formal Methods in Computer-Aided Design (FMCAD), Oct 2017, Vienna, France. IEEE
Academic Journal
In Electronic Notes in Theoretical Computer Science 20 June 2007 174(8):7-22
Academic Journal
In Electronic Notes in Theoretical Computer Science 19 January 2006 144(2):15-26
Conference
2014 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) Hardware-Oriented Security and Trust (HOST), 2014 IEEE International Symposium on. :70-75 May, 2014
Conference
2013 Formal Methods in Computer-Aided Design Formal Methods in Computer-Aided Design (FMCAD), 2013. :61-68 Oct, 2013
Report
Logical Methods in Computer Science, Volume 8, Issue 1 (February 16, 2012) lmcs:709
Conference
Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning. :12-17
검색 결과 제한하기
제한된 항목
[AR] Krstic, Sava
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어