Précédent : PING
Suivant : VIP
[1] H.Garavel, M.Jorgensen, R.Mateescu, C.Pecheur, M.Sighireanu,
B.Vivien. " CADP'97 - Status, Applications and Perspectives ", in
Proceedings of the 2nd COST-247 International Workshop on Applied
Formal Methods in System Design (Zagreb, Croatie), I.Lovrek (red.), Juin
1997.
[2] C.Jard, T.Jeron, P.Morel, C.Viho. " Une experience de generation
automatique de tests pour un protocole de coherence de caches ". Actes de la
conference TESTING'97 sur le test de logiciels, Paris, Juin 1997
Rapport d'activité 1997
