ADFB_AFADL_2012

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.

Contact

Azzeddine Amiar
Mickael Delahaye
Ylies Falcone

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)