%0 Thesis %1 phd/hal/Robert09 %A Robert, Thomas %D 2009 %K dblp %T Détection d'erreur au plus tôt dans les systèmes temps réel : une approche basée sur la vérification en ligne.

@phdthesis{phd/hal/Robert09, added-at = {2020-07-21T00:00:00.000+0200}, author = {Robert, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2f787cd68e3fca349f5d13ca47744b193/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-00420480}, interhash = {c8c730524f2b1108bade6f5567596fc6}, intrahash = {f787cd68e3fca349f5d13ca47744b193}, keywords = {dblp}, school = {National Polytechnic Institute of Toulouse, France}, timestamp = {2020-07-24T00:56:34.000+0200}, title = {Détection d'erreur au plus tôt dans les systèmes temps réel : une approche basée sur la vérification en ligne.}, year = 2009 }