학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 39건 | 목록 1~10
Conference
2015 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2015. :105-111 Sep, 2015
Book
In: Networked Systems - 12th International Conference, NETYS 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14783 LNCS:100-117)
Conference
First IEEE International Conference on Formal Engineering Methods Formal engineering methods Formal Engineering Methods., 1997. Proceedings., First IEEE International Conference on. :140-149 1997
Conference
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques Industrial-strength formal specification Industrial-Strength Formal Specification Techniques, 1995. Proceedings., Workshop on. :2-16 1995
Academic Journal
IEEE Design & Test of Computers IEEE Des. Test. Comput. Design & Test of Computers, IEEE. 20(4):4-14 Aug, 2003
Conference
COMPCON Spring '91 Digest of Papers Compcon Spring '91. Digest of Papers. :456-461 1991
Book
In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14216 LNCS:139-158)
Academic Journal
IEEE Software IEEE Softw. Software, IEEE. 7(5):52-64 Sep, 1990
검색 결과 제한하기
제한된 항목
[AR] Srivas, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어