An Experimentation Framework for Specification and Verification of Web Services
Saved in:
| Main Authors: | Szymon Katra, Wiktor Daszczuk, Danny Czejdo |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Polish Information Processing Society
2022-09-01
|
| Series: | Annals of computer science and information systems |
| Online Access: | https://annals-csis.org/Volume_30/drp/pdf/188.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Anonymization in web auctions using Zero-Knowledge Proof in Blockchain technology
by: Marlena Broniszewska, et al.
Published: (2025-06-01) -
Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS)
by: Wiktor Daszczuk, et al.
Published: (2023-10-01) -
Alloy-based verification of Web service composition
by: Jiu-xin CAO, et al.
Published: (2012-11-01) -
Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS)
by: Wiktor Daszczuk
Published: (2018-09-01) -
A Fuzzy Based Sensor Web for Adaptive Prediction Framework to Enhance the Availability of Web Service
by: Sundharam Ramalingam, et al.
Published: (2016-02-01)