• Citer

Development and validation of distributed reactive control systems

par Meuter, Cédric
Président du jury Devillers, Raymond
Promoteur Massart, Thierry
Publication Non publié, 2008-03-14

Thèse de doctorat

• Accès en ligne
• Détails
• Contenu
• Statistiques

Titre:	Development and validation of distributed reactive control systems
Autre titre:	Développement et validation de systèmes de contrôle réactifs distribués:
Auteur:	Meuter, Cédric
Président du jury:	Devillers, Raymond
Promoteur:	Massart, Thierry
Membre du jury:	Leuschel, Michaël; Hélouët, Loïc; Van Begin, Laurent; Raskin, Jean-François
Informations sur la publication:	Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles
Date de défense:	2008-03-14
Sujet CREF:	Sciences exactes et naturelles
	Informatique générale
Volumes/pages:	1 v.
Mots-clés:	Electronic data processing -- Distributed processing
	Distributed operating systems (Computers)
	Parallel computers
	Traitement réparti
	Systèmes d'exploitation répartis
	Ordinateurs parallèles
	temporal logics
	distributed systems
	control
	testing
	model checking
	formal methods
Intitulé du diplôme:	Doctorat en Sciences
Langue:	Français
Anneé académique:	2007-2008
Identificateurs:	bictel.ulb.ac.be:ULBetd-01242008-155205
	ulbcat.ulb.ac.be:814575