par De Wulf, Martin
Président du jury Devillers, Raymond
Promoteur Raskin, Jean-François
Publication Non publié, 2006-12-20
Thèse de doctorat
Titre:
  • From timed models to timed implementations
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