학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 32건 | 목록 1~10
Conference
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on. :237-246 Sep, 2007
Academic Journal
In: Electronic Communications of the EASST. (Electronic Communications of the EASST, 2013, 62) 21p.
Conference
In: Proceedings - International Symposium on Computer Architecture, Proceedings - 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture, ISCA 2020. (Proceedings - International Symposium on Computer Architecture, May 2020, 2020-May:145-158)
Conference
2008 Sixth IEEE International Conference on Software Engineering & Formal Methods; 2008, p149-158, 10p
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, 1 December 2019, 63(4):1003-1004)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11429 LNCS:214-218)
Book
In: Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11562 LNCS:231-241)
Book
In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 11294 LNCS:17-37)
Academic Journal
In: Biochimica et Biophysica Acta (BBA)/Protein Structure and Molecular. (Biochimica et Biophysica Acta (BBA)/Protein Structure and Molecular, 1 August 1990, 1040(1):43-57)
Book
In: NASA Formal Methods - 9th International Symposium, NFM 2017 Moffett Field, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10227 LNCS:v-vi)
검색 결과 제한하기
제한된 항목
[AR] Kahsai, T.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어