Publications de
Tiago Correa, Leandro Becker, Jean-Paul Bodeveix, J.-M. Farines, Mamoun Filali, François Vernadat
Supporting the Design of Safety Critical Systems Using AADL (regular paper)
Dans : , Oxford, 22/03/10-26/03/10, IEEE Computer Society, p. 331-336, mars 2010.
Tiago Correa, Leandro Becker, Jean-Paul Bodeveix, J.-M. Farines, Mamoun Filali, François Vernadat
Verification Based Development Process for Embedded Systems (regular paper)
Dans : European Congress on Embedded Real-Time Software (ERTS 2010), Toulouse, 19/05/10-21/05/10, Société des Ingénieurs de l’Automobile, (support électronique), mai 2010.
Accès : http://web1.see.asso.fr/erts2010/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0029_final.pdf
BibTeXRicardo Bedin Franca, Daniel Gobbi, J.-M. Farines, Jean-Paul Bodeveix, Leandro Becker
Design of Real-Time Automation Systems Using Architecture Description Languages
Dans : Simpósio Brasileiro de Automação Inteligente (SBAI 2007), Florianópolis – Brasil, 08/08/07-11/08/07, Sociedade Brasileira de Automática (SBA), (support électronique), août 2007.
Ricardo Bedin Franca, J.-M. Farines, Jean-Paul Bodeveix, Leandro Becker, Mamoun Filali
Modelling a bus protocol an incremental approach
Dans : Workshop on Real-Time Systems (WTR 2007), Belem (Brésil)l, 28/05/07-28/05/07, Universidade Federal de Santa Catarina, (support électronique), mai 2007.