Formal verification of composite service recovery mechanisms consistency
Walid Gaaloul*, Sami Bhiri, Manfred Hauswirth, Mohsen Rouached, Claude Godart
*المؤلف المقابل لهذا العمل
نتاج البحث: Conference contribution
3
اقتباسات
(Scopus)