%0 Thesis %1 phd/hal/Sagaspe08 %A Sagaspe, Laurent %D 2008 %K dblp %T Allocation sûre dans les systèmes aéronautiques : Modélisation, Vérification et Génération. (Safe Allocation with Aeronautical systems : Modelisation, Verification and Generation).

@phdthesis{phd/hal/Sagaspe08, added-at = {2020-07-21T00:00:00.000+0200}, author = {Sagaspe, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/2a1087339ab233859ab6a79cb78f4594b/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-00906924}, interhash = {2ced30d71896dcb64fce3cf73caeddb7}, intrahash = {a1087339ab233859ab6a79cb78f4594b}, keywords = {dblp}, school = {University of Bordeaux, France}, timestamp = {2020-07-24T00:52:53.000+0200}, title = {Allocation sûre dans les systèmes aéronautiques : Modélisation, Vérification et Génération. (Safe Allocation with Aeronautical systems : Modelisation, Verification and Generation).}, year = 2008 }