Méthode progressive de synthèse et de vérification de programmes parallèles

No full text

Doctoral thesis (Dissertations and theses)

Gribomont, Pascal

1985

Permalink
https://hdl.handle.net/2268/184474

No document available.

Disciplines :

Computer science

Author, co-author :

Gribomont, Pascal ; Université de Liège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique et intelligence artificielle

Language :

French

Title :

Méthode progressive de synthèse et de vérification de programmes parallèles

Defense date :

1985

Institution :

ULiège - Université de Liège

Degree :

Docteur en sciences appliquées

Promotor :

Ribbens, Danny

President :

Danthine, André

Jury member :

Sintzoff, Michel

Wodon, Pierre

Jorrand, Philippe

Available on ORBi :

since 31 July 2015

Number of views

55 (2 by ULiège)

Number of downloads

0 (0 by ULiège)