Détail de l'auteur
Documents disponibles écrits par cet auteur (1)
Suggerer acquisition Affiner la recherche
Monographie imprimée
Yassine Bida, Auteur ; Amira Mohammedi, Directeur de thèse | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider | 2018Les systèmes mobiles sont des systèmes ou les entités, qui les composent, peuvent changer de localité durant leurs existences. Nous avons étudie e la spécification et la verification formelles de migration et de la communication dans un réseau[...]
