Amira RADHOUANI Méthodes formelles pour l'extraction d'attaques ...
La vérification formelle mécanique d'un protocole de communication à travers des canaux défectueux met en évidence la méthodologie utilisée.Télécharger Amira RADHOUANI Méthodes formelles pour l'extraction d'attaques ... pdf
