EWU Institutional Repository

Browsing Thesis 2015 by Subject "PROMELA (Model checking Language), Web Service Composition, SPIN"

Browsing Thesis 2015 by Subject "PROMELA (Model checking Language), Web Service Composition, SPIN"

Sort by: Order: Results:

  • Hasan, Mohammad Mohibul; Akhunji, Abdur Razzaq (East West University, 9/12/2015)
    Web service composition and its verification is an important part to get an error free web service. In a web service there are huge business transaction occurs. Sometimes in business transaction, it needs to deal with ...

Search DSpace


Browse

My Account