Modélisation, spécification formelle et vérification de protocoles d ...
Dans cette thèse on présente une proposition pour la spéci cation de pro- tocoles de communication utilisés dans le contexte de systèmes ...Télécharger Modélisation, spécification formelle et vérification de protocoles d ... pdf
