학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 7건 | 목록 1~10
Academic Journal
In Mathematics and Computers in Simulation May 2018 147:140-151
Conference
2013 20th Asia-Pacific Software Engineering Conference (APSEC) Software Engineering Conference (APSEC), 2013 20th Asia-Pacific. 1:323-330 Dec, 2013
Conference
2012 19th Asia-Pacific Software Engineering Conference Software Engineering Conference (APSEC), 2012 19th Asia-Pacific. 1:482-487 Dec, 2012
Academic Journal
Clefs CEA. fev2023, Issue 75, p28-28. 1p.
Book
NASA Formal Methods (9783319406473); 2016, p3-18, 16p
Conference
Carle, Patrice (F-ONERA2-AEL) AMS Author Profile; Choppy, Christine (F-PARIS13-LI) AMS Author Profile; Kervarc, Romain (F-ONERA2-AEL) AMS Author Profile; Piel, Ariane (F-ONERA2-AEL) AMS Author Profile
1st French Singaporean Workshop on Formal Methods and Applications (20130101), 86-91.
검색 결과 제한하기
제한된 항목
[AR] Piel, Ariane
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어