par Geeraerts, Gilles 
Président du jury Devillers, Raymond
Promoteur Raskin, Jean-François
Publication Non publié, 2007-04-20
Président du jury Devillers, Raymond
Promoteur Raskin, Jean-François
Publication Non publié, 2007-04-20
Thèse de doctorat
| Titre: |
|
| Auteur: | Geeraerts, Gilles |
| Président du jury: | Devillers, Raymond |
| Promoteur: | Raskin, Jean-François |
| Membre du jury: | Van Begin, Laurent; Bouajjani, Ahmed; Massart, Thierry; Boigelot, Bernard; Ouaknine, Joël |
| Informations sur la publication: | Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles |
| Date de défense: | 2007-04-20 |
| Sujet CREF: | Sciences exactes et naturelles |
| Informatique générale | |
| Volumes/pages: | 1 v. (276 p.) |
| Mots-clés: | Embedded computer systems -- Security measures |
| Petri nets | |
| Systems engineering | |
| Formal methods (Computer science) | |
| Systèmes enfouis (Informatique) -- Sécurité -- Mesures | |
| Réseaux de Pétri | |
| Ingénierie des systèmes | |
| Méthodes formelles (Informatique) | |
| Petri Nets | |
| Lossy Channel Systems | |
| Well-structured Transition Systems | |
| Expand Enlarge and Check | |
| Well-quasi order | |
| Coverability Problem | |
| Intitulé du diplôme: | Doctorat en sciences, Spécialisation Informatique |
| Langue: | Anglais |
| Anneé académique: | 2006-2007 |
| Identificateurs: | bictel.ulb.ac.be:ULBetd-04182007-154322 |
| ulbcat.ulb.ac.be:783511 |
