학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 143건 | 목록 1~10
Academic Journal
In: ACM Transactions on Privacy and Security. (ACM Transactions on Privacy and Security, 13 March 2023, 26(2))
Book
In: iFM 2023 - 18th International Conference, iFM 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14300 LNCS:62-81)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, June 2022, 60(3):350-380)
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, February 2022, 24(1):111-125)
Conference
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. Formal methods and models for co-design Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. Proceedings. Third ACM and IEEE International Conference on. :101-110 2005
Conference
Proceedings. 42nd Design Automation Conference, 2005. Design automation Design Automation Conference, 2005. Proceedings. 42nd. :445-450 2005
Conference
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Formal Methods and Models for Co-Design Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Proceedings. Second ACM and IEEE International Conference on. :201-210 2004
Academic Journal
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 27(2):366-379 Feb, 2008
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, 1 December 2019, 55(1):33-71)
검색 결과 제한하기
제한된 항목
[AR] Sharygina, N.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어