Model Checking Approaches for Web Service Verification - PowerPoint PPT Presentation

1 / 30
} ?>
View by Category
About This Presentation
Title:

Model Checking Approaches for Web Service Verification

Description:

Flow description is used for expressing how various web services should be composed ... Conversion table for BPEL4WS structured and concurrent groups to Promela. 23 ... – PowerPoint PPT presentation

Number of Views:86
Avg rating:3.0/5.0
Slides: 31
Provided by: asusrl
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com