↓ Skip to main content
What is this page? Embed badge

Correct Software in Web Applications and Web Services

Overview of attention for book
Cover of 'Correct Software in Web Applications and Web Services'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B
  3. Altmetric Badge
    Chapter 2 Towards a Model of Services Based on Cocreation, Abstraction and Rights Distribution
  4. Altmetric Badge
    Chapter 3 Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications
  5. Altmetric Badge
    Chapter 4 A Formal Model of Client-Cloud Interaction
  6. Altmetric Badge
    Chapter 5 W ∗ H: The Conceptual Model for Services
  7. Altmetric Badge
    Chapter 6 Monitoring of Client-Cloud Interaction
  8. Altmetric Badge
    Chapter 7 Formal Reliability Models for Web Services
  9. Altmetric Badge
    Chapter 8 What Constitutes a Service on the Web?
  10. Altmetric Badge
    Chapter 9 Codesign of Web Information Systems
Attention for Chapter 1: Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B
Altmetric Badge

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
4 Mendeley
Summary Dimensions citations
So far, Dimensions has found 6 publications that cite this research output.

6

The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.