%0 Thesis %1 phd/hal/Garnier12 %A Garnier, Ilias %D 2012 %K dblp %T Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques. (Formalism for the high-level design of hard real-time embedded systems).

@phdthesis{phd/hal/Garnier12, added-at = {2020-07-21T00:00:00.000+0200}, author = {Garnier, Ilias}, biburl = {https://www.bibsonomy.org/bibtex/20a9fa2f1a725fcc49cc74e2cc019495f/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-00676901}, interhash = {80d274b58d9b1424eb6473324a0dc488}, intrahash = {0a9fa2f1a725fcc49cc74e2cc019495f}, keywords = {dblp}, school = {University of Paris-Sud, Orsay, France}, timestamp = {2020-07-24T00:48:05.000+0200}, title = {Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques. (Formalism for the high-level design of hard real-time embedded systems).}, year = 2012 }