par Doyen, Laurent 
Président du jury Massart, Thierry
Promoteur Raskin, Jean-François
Publication Non publié, 2006-06-13
Président du jury Massart, Thierry
Promoteur Raskin, Jean-François
Publication Non publié, 2006-06-13
Thèse de doctorat
| Titre: |
|
| Auteur: | Doyen, Laurent |
| Président du jury: | Massart, Thierry |
| Promoteur: | Raskin, Jean-François |
| Membre du jury: | Bontempi, Gianluca; Bruyère, Véronique; Henzinger, Thomas A.; Laroussinie, François; Devillers, Raymond |
| Informations sur la publication: | Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles |
| Date de défense: | 2006-06-13 |
| Sujet CREF: | Sciences exactes et naturelles |
| Informatique générale | |
| Volumes/pages: | 1 v. |
| Mots-clés: | Real-time data processing |
| Machine theory | |
| Robotics | |
| Robots -- Programming | |
| Temps réel | |
| Automates mathématiques, Théorie des | |
| Robotique | |
| Robots -- Programmation | |
| Verification | |
| Implementability | |
| Robustness | |
| Real-Time | |
| Hybrid automata | |
| Timed automata | |
| Intitulé du diplôme: | Doctorat en sciences, Spécialisation Informatique |
| Langue: | Français |
| Anneé académique: | 2005-2006 |
| Identificateurs: | bictel.ulb.ac.be:ULBetd-07112006-145251 |
| ulbcat.ulb.ac.be:760564 |
