08429695X
2005-03-03
2023-09-15T23:01:12
Types inductifs, isomorphismes et récriture extensionnelle / David Chemouil ; Sergei Soloviev, dir., 2004 [Thèse]
0000-0003-4136-783X
9338288400
male
Chemouil, David (19..-....)
Chemouil
David
David Chemouil
19XX
Titulaire d'une thèse de doctorat en informatique, Université Paul Sabatier, Toulouse (en 2004). Informaticien à ONERA (Toulouse).
Modélisation formelle d'exigences et logiques temporelles multi-agents / Christophe Chareton ; sous la direction de Laurence Cholvy et de Julien Brunel / , 2014
Types inductifs, isomorphismes et récriture extensionnelle / David Chemouil ; sous la direction de Sergei Soloviev / Grenoble : Atelier national de reproduction des thèses , 2004
Types inductifs, isomorphismes et récriture extensionnelle / David Chemouil ; sous la dir. de Sergei Soloviev / [S.l.] : [s.n.] , 2004
Extension événementielle d'une méthode formelle légère et application à l'analyse du protocole distribué Chord / Jeanne Matiedje Tawa ; sous la direction de David Chemouil et de Julien Brunel / , 2019
Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinis / Quentin Peyras ; sous la direction de David Chemouil et de Julien Brunel / , 2022
Vers une approche formelle d'ingénierie des exigences outillée et éprouvée / Steve Jeffrey Tueno Fotso ; sous la direction de Régine Laleau et de Marc Frappier et de Amel Mammar / , 2019