학술논문
'학술논문'
에서 검색결과 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
Abts, D.; Ross, J.; Sparling, J.; Wong-Vanharen, M.; Baker, M.; Hawkins, T.; Bell, A.; Thompson, J.; Kahsai, T.; Kimmell, G.; Hwang, J.; Leslie-Hurd, R.; Bye, M.; Creswick, E.R.; Boyd, M.; Venigalla, M.; Laforge, E.; Purdy, J.; Kamath, P.; Maheshwari, D.; Beidler, M.; Rosseel, G.; Ahmad, O.; Gagarin, G.; Czekalski, R.; Rane, A.; Parmar, S.; Werner, J.; Sproch, J.; Macias, A.; Kurtz, B.
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
Backes, J.; Bayless, S.; Cook, B.; Dodge, C.; Gacek, A.; Kahsai, T.; Kocik, B.; Kotelnikov, E.; Kukovec, J.; McLaughlin, S.; Rungta, N.; Sizemore, J.; Stalzer, M.; Srinivasan, P.; Subotić, P.; Varming, C.; Whaley, B.; Hu, A.J.; Reed, J.
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
Kim, I.-H.; Rhee, J.S.; Huh, J.W.; Florell, S.; Faure, B.; Lee, K.W.; Kahsai, T.; Song, P.-S.; Tamai, N.; Yamazaki, T.; Yamazaki, I.
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)
주제어
언어