FME3
Contact : emmanuelle.encrenaz (at) nulllip6.frDu 01/01/2008 au 31/12/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