Software | Page personnelle

Software

Analyse statique d'un logiciel embarqué critique

Analyse de code C avec l’outil Frama-C.