Towards formal verification of Web service composition

Mohsen Rouached*, Olivier Perrin, Claude Godart

*المؤلف المقابل لهذا العمل

نتاج البحث: Conference contribution

27 اقتباسات (Scopus)

بصمة

أدرس بدقة موضوعات البحث “Towards formal verification of Web service composition'. فهما يشكلان معًا بصمة فريدة.

Computer Science