par De Wulf, Martin 
Président du jury Devillers, Raymond
Promoteur Raskin, Jean-François
Publication Non publié, 2006-12-20
Président du jury Devillers, Raymond
Promoteur Raskin, Jean-François
Publication Non publié, 2006-12-20
Thèse de doctorat
| Titre: |
|
| Auteur: | De Wulf, Martin |
| Président du jury: | Devillers, Raymond |
| Promoteur: | Raskin, Jean-François |
| Membre du jury: | Markey, Nicolas NM; Massart, Thierry; Bruyère, Véronique; Cardinal, Jean; Larsen, Kim G. |
| Informations sur la publication: | Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles |
| Date de défense: | 2006-12-20 |
| Sujet CREF: | Sciences exactes et naturelles |
| Informatique générale | |
| Volumes/pages: | 1 v. |
| Mots-clés: | Embedded computer systems |
| Constraints (Artificial intelligence) | |
| Real-time data processing | |
| Machine theory | |
| Robotics | |
| Systèmes enfouis (Informatique) | |
| Contraintes (Intelligence artificielle) | |
| Temps réel | |
| Automates mathématiques, Théorie des | |
| Robotique | |
| model checking | |
| timed automata | |
| hybrid automata | |
| games of imperfect information | |
| code generation | |
| robustness | |
| Intitulé du diplôme: | Doctorat en sciences, Spécialisation Informatique |
| Langue: | Français |
| Anneé académique: | 2006-2007 |
| Identificateurs: | bictel.ulb.ac.be:ULBetd-12112006-232610 |
| ulbcat.ulb.ac.be:775365 |
