KOR

e-Article

Publication date
-
(ex : 2010-2015)
'e-Article' searched 7results | List 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.
Refining the search results
Facets
[AR] Piel, Ariane
Publication year
-
Database provider
Title
Publisher
자료유형(Source Type)
Subject
Language