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. In Luís Ferreira Pires, Slimane Hammoudi, Joaquim Filipe, Rui César das Neves, editors, MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014. pages 619-625, SciTePress, 2014. [doi]
@inproceedings{HeniaRSGP14,
title = {Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software},
author = {Rafik Henia and Laurent Rioux and Nicolas Sordon and Gerald-Emmanuel Garcia and Marco Panunzio},
year = {2014},
doi = {10.5220/0004874306190625},
url = {http://dx.doi.org/10.5220/0004874306190625},
researchr = {https://researchr.org/publication/HeniaRSGP14},
cites = {0},
citedby = {0},
pages = {619-625},
booktitle = {MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014},
editor = {Luís Ferreira Pires and Slimane Hammoudi and Joaquim Filipe and Rui César das Neves},
publisher = {SciTePress},
isbn = {978-989-758-007-9},
}