software | Page personnelle

software

Analyse statique d'un logiciel embarqué critique

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