Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint
international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS
2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble,
France, September 22-24, 2004 : proceedings / Yassine Lakhnech, Sergio Yovine (eds.)
: Springer, 2004
Internet, https://www.univ-grenoble-alpes.fr/actualites/a-la-une/actualites-universite/yassine-lakhnech-elu-president-de-l-universite-grenoble-alpes-609618.kjsp,
2021-03-24
Information trouvée : Diplomé de l'université de Kiel (Allemagne), enseignant à l'UJF puis à l'UGA. Ancien
vice-président de l'université Joseph-Fourier. Président de l'université Grenoble
Alpes (2020-)
Méthodes algorithmiques de vérification des protocoles cryptographiques [Thèse 2004]
/ Liana Lazar
Information trouvée : directeur de thèse à l'Université de Grenoble 1