Ruttaba Assad

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Formal Analysis

Colored Petri Nets

Cloud Computing

Top Venues

Concurr. Comput. Pract. Exp.

Publications

Syed Asad Raza Kazmi, Awais Qasim, Adnan Khalid, Ruttaba Assad, Muhammad Shahbaz
Formal modeling and verification of cloud-based web service composition. Concurr. Comput. Pract. Exp. 32 (21) (2020)