Bibtex de la publication

@InProceedings{ CoDoDrGrLeNiOb2012.1,
author = {Conquet, Eric and Dormoy, Fran├žois-Xavier and Dragomir, Iulia and Graf, Susanne and Lesens, David and Nienaltowski, Piotr and Ober, Iulian},
title = "{Formal Model Driven Engineering for Space Onboard Software (regular paper)}",
booktitle = "{International Conference on Embedded Real Time Software and Systems (ERTS2 2012), Toulouse, 01/02/12-03/02/12}",
year = {2012},
month = {janvier},
publisher = {Society of Automobile Engineers (SAE)},
address = {},
pages = {(electronic medium)},
language = {anglais}