KHEIREDDINE Anissa
Аспирант (ATER, Sorbonne Université)
Подразделение : MoVe
Начало контракта : 07.10.2019
Tel: +33 1 44 27 51 28, Anissa.Kheireddine (at) nulllip6.fr
https://lip6.fr/Anissa.Kheireddine
Подразделение : MoVe
Начало контракта : 07.10.2019
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 25-26, Étage 2, Bureau 231
4 place Jussieu
75252 PARIS CEDEX 05
FRANCE
Tel: +33 1 44 27 51 28, Anissa.Kheireddine (at) nulllip6.fr
https://lip6.fr/Anissa.Kheireddine
Научны(е)й руководител(и)ь : Souheib BAARIR
Со-руководитель : RENAULT Etienne (EPITA)
Parallélisation et optimisation du Bounded model-checking