Bibtex de la publication

@InProceedings{ BoFiRaChGa2006.1,
author = {Bodeveix, Jean-Paul and Filali, Mamoun and Rached, Miloud and Chemouil, David and Gaufillet, Pierre},
title = "{Experimenting an AADL Behavioural Annex and a Verification Method}",
booktitle = "{Data Systems In Aerospace (DASIA), Berlin-Germany, 22/05/2006-25/05/2006}",
year = {2006},
publisher = {European Space Agency (ESA Publications)},
address = {http://www.esa.int/publications},
pages = {(electronic medium)},
language = {anglais}
}