21 décembre 2011
Maitre CALVO:Particulierement;Nous nous
Maitre CALVO:Particulierement;Nous nous intéressons au problème de la vérification formelle de propriétés des systèmes NiC=ENUK répartis. En particulier, nous étudions ce problème dans le cas de protocoles modélisés par un système d'automates communiquant...