Bibtex de la publication

@Article{ Bo2015.4,
author = {Bodeveix, Jean-Paul and Filali, Mamoun and Garnacho, Manuel and Spadotti, RĂ©gis and Yang, Zhibin},
title = "{Towards a verified transformation from AADL to the formal component-based language FIACRE}",
journal = {Science of Computer Programming, Towards a verified transformation from AADL to the formal component-based language FIACRE},
publisher = {Elsevier},
address = {http://www.elsevier.com/},
year = {2015},
month = {mai},
volume = {106},
number = {0},
pages = {30--53},
language = {anglais},
URL = {http://oatao.univ-toulouse.fr/14914/}
}