spécification et vérification de propriétés
temps-réel, stochastiques ou de complexité sur une application P2P :
Pastrypspdf
La fourniture suivante est devenue obsolète suite aux changements
d'orientation chez l'opérateur télécom ; cela a été compensé
par un investissement plus important dans l'étude P2P décrite
dans la fourniture F2.2.
fichiers XML des différents cas d'étude modélisés sous
la forme de p-automates
