Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

3 Results
authFullName_s : Alain Faivre
Image document

Automatic Test Case Generation from Matlab/Simulink models

Diane Bahrami , Alain Faivre , Arnault Lapitre
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02263453v1
Image document

Completion of Test Models Based on Code Analysis

Michael Dierkes , Alain Faivre , Hélène Le Guen , Nicky Williams
Embedded Real Time Software and Systems, ERTS2 2014, Toulouse, France, February 5-7, 2014, 2014, Toulouse, France
Conference papers hal-01810291v1
Image document

Towards an experimental testbed for interoperability analysis of railways regulation policies : methodological experiments and first retex

Agnes Lanusse , Alain Faivre
2015 International Conference on Industrial Engineering and Systems Management (IESM 2015), Oct 2015, Seville, Spain
Conference papers cea-01810077v1