.:. Consultation > Liste par domaine > Génie logiciel .:.

5 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

ANALYSE STATIQUE DE LOGICIELS MULTITÂCHES PAR INTERPRÉTATION ABSTRAITE Ferrara P. Ecole Polytechnique X (22/09/2009), Radhia Cousot (Dir.) [tel-00417502 - version 1]

Domaines numériques abstraits faiblement relationnels Miné A. Ecole Polytechnique X (06/12/2004), Patrick Cousot (Dir.) [tel-00136630 - version 1]

Analyse de programmes probabilistes par interprétation abstraite Monniaux D. Université Paris Dauphine - Paris IX (21/11/2001), Patrick Cousot (Dir.) [tel-00084287 - version 1]

Extraction de programmes dans le Calcul des Constructions Paulin-Mohring C. Université Paris-Diderot - Paris VII (27/01/1989), Gérard Huet (Dir.) [tel-00431825 - version 1]

Modularité et symétrie pour les systèmes répartis; application au langage CSP Bougé L. Université Paris-Diderot - Paris VII (1987-03-30), Maurice Nivat (Dir.) [tel-00416184 - version 1]