학술논문
'학술논문'
에서 검색결과 2건 | 목록
1~10
Report
Bhatt, Manish; Chennabasappa, Sahana; Nikolaidis, Cyrus; Wan, Shengye; Evtimov, Ivan; Gabi, Dominik; Song, Daniel; Ahmad, Faizan; Aschermann, Cornelius; Fontana, Lorenzo; Frolov, Sasha; Giri, Ravi Prakash; Kapil, Dhaval; Kozyrakis, Yiannis; LeBlanc, David; Milazzo, James; Straumann, Aleksandar; Synnaeve, Gabriel; Vontimitta, Varun; Whitman, Spencer; Saxe, Joshua
Book
Calcagno, Cristiano; Distefano, Dino; Dubreil, Jeremy; Gabi, Dominik; Hooimeijer, Pieter; Luca, Martino; O'Hearn, Peter; Papakonstantinou, Irene; Purbrick, Jim; Rodriguez, Dulma
NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings; 2015, p3-11, 9p
검색 결과 제한하기
제한된 항목
[AR] Gabi, Dominik
발행연도 제한
-
학술DB(Database Provider)
자료유형(Source Type)
주제어
언어