Gerald-Emmanuel Garcia

Integrating model-based formal timing analysis in the industrial development process of satellite on-board software

Marco Panunzio, Rafik Henia, Laurent Rioux, 2014, 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

Integrating Formal Timing Analysis in the Real-Time Software Development Process

Marco Panunzio, Rafik Henia, Laurent Rioux, 2015, WOSP '15.