%O Thesis 
%9 PhdThesis 
%F alain-hdr
%A Girault, A.
%T Contributions à la Conception Sûre des Systèmes Embarqués Sûrs
%I INPG
%C Grenoble, France
%U ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Hdr06/main.pdf
%8 September
%D 2006