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 |