Les techniques de description formelle (tdf) pour la specification de systemes communicants sont utilisees pour valider et tester des implementations...
