학술논문
'학술논문'
에서 검색결과 8건 | 목록
1~10
Conference
2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) Blockchain and Cryptocurrency (ICBC), 2023 IEEE International Conference on. :1-9 May, 2023
Conference
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on. 2:139-148 May, 2015
Conference
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on. :45-52 Nov, 2006
Book
Hutchison, David; Kanade, Takeo; Kittler, Josef; Kleinberg, Jon M.; Mattern, Friedemann; Mitchell, John C.; Naor, Moni; Nierstrasz, Oscar; Pandu Rangan, C.; Steffen, Bernhard; Sudan, Madhu; Terzopoulos, Demetri; Tygar, Doug; Vardi, Moshe Y.; Weikum, Gerhard; Schneider, Klaus; Brandt, Jens; Delahaye, David; Dubois, Catherine; Étienne, Jean-Frédéric
Theorem Proving in Higher Order Logics (9783540745907); 2007, p70-85, 16p
Book
Misra, Jayadev; Nipkow, Tobias; Sekerinski, Emil; Delahaye, David; Étienne, Jean-Frédéric; Donzeau-Gouge, Véronique Viguié
FM 2006: Formal Methods; 2006, p48-63, 16p
Academic Journal
Innovations in Systems and Software Engineering: A NASA Journal. Oct, 2008, Vol. 4 Issue 3, p267, 8 p.
Conference
Delahaye, David (F-CNAM-CE) AMS Author Profile; Dubois, Catherine (F-CNAM-CE) AMS Author Profile; Étienne, Jean-Frédéric (F-CNAM-CE) AMS Author Profile
검색 결과 제한하기
제한된 항목
[AR] Etienne, Jean-Frederic
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어