Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software.

Rafik Henia, Laurent Rioux, Nicolas Sordon, Gerald-Emmanuel Garcia, Marco Panunzio

Browse the full MODELSWARD paper archive.