Détermination automatique de relations linéaires vérifiées par les variables d'un
programme / Nicolas Halbwachs ; sous la direction de Michel Sakarovitch, 1979. - Thèse
de 3e cycle : Informatique : Grenoble 1/INPG : 1979
Internet, https://fr.wikipedia.org/wiki/Nicolas_Halbwachs, 2021-02-24
Information trouvée : né en 1953
Modélisation et analyse du comportement des systèmes informatiques temporisés / Nicolas
Halbwachs ; sous la direction de Gabrièle Saucier, 1984. - Thèse d'État : Sciences,
Mathématiques : Grenoble 1/INPG : 1984
Réduction du nombre de variables en analyse de relations linéaires [Thèse 2005] /
Merchat David
Information trouvée : directeur de thèse à l'université de Grenoble 1
Synchronous programming of reactive systems / by Nicolas Halbwachs, 1993