Login / Signup

Formal modeling and verification of cloud-based web service composition.

Syed Asad Raza KazmiAwais QasimAdnan KhalidRuttaba AssadMuhammad Shahbaz
Published in: Concurr. Comput. Pract. Exp. (2020)
Keyphrases
  • cloud computing
  • formal methods
  • artificial intelligence
  • colored petri nets
  • database
  • petri net
  • data sets
  • information retrieval
  • search engine
  • modeling method
  • formal analysis