دورية أكاديمية
Verification of transaction-aware web services composition through formal methods
| العنوان: | Verification of transaction-aware web services composition through formal methods |
|---|---|
| المؤلفون: | Jalal, SunitaAff1, IDs1319802302246y_cor1, Negi, Chetan Singh, Yadav, Dharmendra Kumar |
| المصدر: | International Journal of System Assurance Engineering and Management. 15(6):2312-2327 |
| قاعدة البيانات: | Springer Nature Journals |
Find this article in full text from Springer Verlag. 
Full Text Finder | تدمد: | 09756809 09764348 |
|---|---|
| DOI: | 10.1007/s13198-023-02246-y |