A. Amiar, M. Delahaye, Y. Falcone, L. du Bousquet. Résumer les traces d'exécution des micro-contrôleurs. In Actes de la Conférence AFADL'12: Approches Formelles dans l'Assistance au Développement de Logiciels, Grenoble, France, 2012.
Azzeddine Amiar
Mickael Delahaye
Ylies Falcone
@InProceedings{ADFB_AFADL_2012,
Author = {Amiar, A. and Delahaye, M. and Falcone, Y. and du Bousquet, L.},
Title = {Résumer les traces d'exécution des micro-contrôleurs},
BookTitle = {{A}ctes de la {C}onférence {AFADL}'12: {A}pproches {F}ormelles dans l'{A}ssistance au {D}éveloppement de {L}ogiciels},
Address = {Grenoble, France},
Year = {2012}
}
Charger la référence EndNote (.ref)