Login / Signup
Gerald-Emmanuel Garcia
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 0
Top Topics
Software Application
Agent Oriented
Development Process
Software Development Process
Top Venues
WOSP-C@ICPE
MODELSWARD
</>
Publications
</>
Rafik Henia
,
Laurent Rioux
,
Nicolas Sordon
,
Gerald-Emmanuel Garcia
,
Marco Panunzio
Integrating Formal Timing Analysis in the Real-Time Software Development Process.
WOSP-C@ICPE
(2015)
Rafik Henia
,
Laurent Rioux
,
Nicolas Sordon
,
Gerald-Emmanuel Garcia
,
Marco Panunzio
Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software.
MODELSWARD
(2014)