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).
I. Garnier. University of Paris-Sud, Orsay, France, (2012)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/hal/Garnier12
%A Garnier, Ilias
%D 2012
%K
%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 = {2023-12-13T02:33:59.000+0100},
author = {Garnier, Ilias},
biburl = {https://www.bibsonomy.org/bibtex/20a9fa2f1a725fcc49cc74e2cc019495f/admin},
ee = {https://tel.archives-ouvertes.fr/tel-00676901},
interhash = {80d274b58d9b1424eb6473324a0dc488},
intrahash = {0a9fa2f1a725fcc49cc74e2cc019495f},
keywords = {},
school = {University of Paris-Sud, Orsay, France},
timestamp = {2023-12-13T02:33:59.000+0100},
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
}