|
 
|
[PAJ08] Model Checking parallèle et réparti de réseaux
Mémoire de Thèse : Soutenue le: 01 January 2008, pp. 251p, : Model Checking parallèle et réparti de réseaux,
motcle:
Résumé:
Christophe PAJAULT Le 23 JUIN 2008 – Université de Paris 6 (Pierre et
Marie Curie)
sur le sujet suivant : « Model Checking parallèle et réparti de réseaux
de Petri colorés de
haut niveau. Application à la vérification automatique de programmes
Ada concurrents »
Composition du jury :
Claude Kaiser, Professeur émérite au Conservatoire National des Arts et
Métiers, Directeur de thèse
Jean-François Peyre, Professeur de l'université Paris 10, Directeur de thèse
Franco GASPERONI, docteur de l'université de New-York et Directeur Général d'ACT Europe
Claude GIRAULT, Professeur émérite à l'université Pierre et Marie Curie,
président du jury
Denis POITRENAUD, maître de conférence à l'université Paris 5
Rapporteurs :
Didier BUCHS, Professeur à l'université de Genève,
Gaétan HAINS, Professeur de l'université Paris 12
Commentaires:
Thèse soutenue le 23 juin 2008 à l'Université de Paris 6 (Pierre et Marie Curie)
BibTeX
| @phdthesis { | |||
| PAJ08, | |||
| title | = | "{Model Checking parallèle et réparti de réseaux}", | |
| author | = | "C. Pajault", | |
| year | = | 2008, | |
| pages | = | "251p", | |
| address | = | "{CEDRIC Laboratory, Paris, France}", | |
| note | = | "{Thèse soutenue le 23 juin 2008 à l'Université de Paris 6 (Pierre et Marie Curie) }", | |
| } |
