[PDF] psu.edu

[PDF][PDF] A Symbolic Approach for the Verification and the Test of Service Choreographies

G Salaün, P Poizat, F Zaıdi - Citeseer
Abstract Service-oriented engineering is an emerging software development paradigm for
distributed collaborative applications. Such an application is made up of several entities …
相关文章
[PDF] theses.fr

[PDF][PDF] A Symbolic Approach for the Verification and the Test of Service Choreographies

G Salaün, P Poizat, F Zaıdi - theses.fr
Abstract Service-oriented engineering is an emerging software development paradigm for
distributed collaborative applications. Such an application is made up of several entities …