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