Conception incrémentale, vérification de composants matériels et méthode d'abstraction
pour la vérification de systèmes intégrés sur puce / Cécile Braunstein ; sous la direction
d'Alix Munier-Kordon, 2007
Contribution à l'étude des ordonnancements cycliques [thèse] /Alix Munier, 1991
Introduction à l'algorithmique / Thomas Cormen, Charles Leiserson, Ronald Rivest /
préface de Philippe Chrétienne, Claire Hanen, Alix Munier / traduit de l'américain
par Xavier Cazin, 1994
https://www.lip6.fr, le 2022-09-19
Information trouvée : Fonction exercée en 2022