학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 21건 | 목록 1~10
Academic Journal
Journal of Engineering Physics & Thermophysics. Jul2016, Vol. 89 Issue 4, p878-885. 8p.
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, August 2014, 45(1):1-41)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, June 2013, 42(3):221-261)
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, February 2012, 14(1):1-14)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, In Press, 2012, :1-41)
Conference
2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD); 2010, p770-777, 8p
Academic Journal
Journal of Engineering Physics & Thermophysics. Mar2013, Vol. 86 Issue 2, p300-307. 8p.
Conference
24th IEEE/ACM International Conference on Automated Software Engineering, 2009. ASE '09; 2009, p668-670, 3p
검색 결과 제한하기
제한된 항목
[AR] Tsitovich, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어