학술논문
'학술논문'
에서 검색결과 7건 | 목록
1~10
Academic Journal
Abisset-Chavanne, Emmanuelle; Coupaye, Thierry; Golra, Fahad R.; Lamy, Damien; Piel, Ariane; Scart, Olivier; Vicat-Blanc, Pascale
In Computers in Industry October 2024 161
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
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
검색 결과 제한하기
제한된 항목
[AR] Piel, Ariane
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어