Verifying composite service transactional behavior using event calculus

Walid Gaaloul*, Mohsen Rouached, Claude Godart, Manfred Hauswirth

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

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

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

بصمة

أدرس بدقة موضوعات البحث “Verifying composite service transactional behavior using event calculus'. فهما يشكلان معًا بصمة فريدة.

Computer Science