Related references
Note: Only part of the references are listed.A hybrid formal verification approach for QoS-aware multi-cloud service composition
Alireza Souri et al.
CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS (2020)
An Event-B based approach for cloud composite services verification
Aida Lahouij et al.
FORMAL ASPECTS OF COMPUTING (2020)
A novel verification model for web services manoeuvring using hybrid automata
N. Danapaquiame et al.
INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY (2015)
Single-tape and multi-tape Turing machines through the lens of the Grossone methodology
Yaroslav D. Sergeyev et al.
JOURNAL OF SUPERCOMPUTING (2013)