Publications de
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Pierre Dissaux, Mamoun Filali, Pierre Gaufillet, Sebastien Heim, François Vernadat
Formal Verification of AADL models with Fiacre and Tina (regular paper)
Dans : European Congress on Embedded Real-Time Software (ERTS 2010), Toulouse, 19/05/10-21/05/10, SIA/3AF/SEE, (support électronique), 2010.
Accès : http://web1.see.asso.fr/erts2010/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010%202/ERTS2010_0107_final.pdf
BibTeX