학술논문
'학술논문'
에서 검색결과 21건 | 목록
1~10
Academic Journal
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
Vasiliev, L.; Solovei, V.; Kharlampidi, D.; Stachel, A.; Kujawa, T.; Tarasova, V.; Zhuravlev, A.; Tsitovich, A.; Kostenko, E.
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
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)
주제어
언어