Loading...
Derniers dépôts
-
Mahieddine Yaker. Conception et réalisation d’un écosystème basé sur des propriétés formelles d’isolation mémoire pour l’Internet des objets. Informatique [cs]. Université de Lille; CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189, 2019. Français. ⟨NNT : ⟩. ⟨tel-04471798⟩