Bibtex de la publication

@Book{ FaBeBoDiFaFiGaHaLaMi2003.4,
author = {Farines, J.-M. and Berthomieu, Bernard and Bodeveix, Jean-Paul and Dissaux, Pierre and Farail, Patrick and Filali, Mamoun and Gaufillet, Pierre and Hafidi, Hicham and Lambert, Jean-Luc and Michel, P. and Vernadat, Fran├žois},
title = "{The Cotre Project: Rigorous Software Development for Real Time Systems in Avionics}",
year = {2003},
month = {novembre},
publisher = {COLNARIC, ADAMSKI & WEGRZYN}
}