Le professeur Adel Bouhoula de l’Université du Golfe arabe a présenté les dernières avancées en cybersécurité, soulignant l’importance des méthodes formelles pour concevoir des systèmes critiques sûrs et fiables, lors de la 7ème édition du Congrès ...