FME3
Contact : emmanuelle.encrenaz (at) nulllip6.frFrom 01/01/2008 to 12/31/2010
Utilisation des méthodes formelles pour améliorer le degré de robustesse des circuits électroniques sujets aux pannes transitoires
TIMAANR
emmanuelle ENCRENAZ
Utilisation des méthodes formelles pour améliorer le degré de robustesse des circuits électroniques sujets aux pannes transitoires
TIMAemmanuelle ENCRENAZ