Identifiant pérenne de la notice : 176891021
Notice de type
Personne
A symbolic approach for the verification and the test of service choreographies /
par Hữu Nghĩa Nguyễn ; sous la direction de Fatiha Zaïdi et de Pascal Poizat, Université
Paris-Sud, 2013 [thèse d'Informatique]
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial