Verification of Communication Protocols in Web Services
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By John Wiley & Sons, Inc

9781118720103, 9780470905395

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

TIME-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING

Verification of Communication Protocols in Web Services ◽

10.1002/9781118720103.ch6 ◽

2013 ◽

pp. 115-154

Keyword(s):

Model Checking ◽

State Space ◽

Software Model Checking ◽

Space Analysis ◽

State Space Analysis ◽

Download Full-text

Index

Verification of Communication Protocols in Web Services ◽

10.1002/9781118720103.index ◽

2013 ◽

pp. 255-256

Download Full-text

WEB SERVICES

Verification of Communication Protocols in Web Services ◽

10.1002/9781118720103.ch4 ◽

2013 ◽

pp. 57-76

Keyword(s):

Download Full-text

MODEL CHECKING

Verification of Communication Protocols in Web Services ◽

10.1002/9781118720103.ch2 ◽

2013 ◽

pp. 15-26

Keyword(s):

Download Full-text

WILEY SERIES ON PARALLEL AND DISTRIBUTED COMPUTING

Verification of Communication Protocols in Web Services ◽

10.1002/9781118720103.oth1 ◽

2013 ◽

pp. 257-258

Keyword(s):

Distributed Computing ◽

Parallel And Distributed Computing

Download Full-text

FRAMEWORK FOR MODELING, SIMULATION, AND VERIFICATION OF A BPEL SPECIFICATION

Verification of Communication Protocols in Web Services ◽

10.1002/9781118720103.ch8 ◽

2013 ◽

pp. 205-244 ◽

Keyword(s):

Modeling Simulation

Download Full-text

GENERATING HIERARCHICAL MODELS BY IDENTIFYING STRUCTURAL SIMILARITIES

Verification of Communication Protocols in Web Services ◽

10.1002/9781118720103.ch7 ◽

2013 ◽

pp. 155-204

Keyword(s):

Hierarchical Models

Download Full-text

PETRI NETS

Verification of Communication Protocols in Web Services ◽

10.1002/9781118720103.ch3 ◽

2013 ◽

pp. 27-56

Keyword(s):

Download Full-text

CONCLUSIONS AND OUTLOOK

Verification of Communication Protocols in Web Services ◽

10.1002/9781118720103.ch9 ◽

2013 ◽

pp. 245-254

Download Full-text

MEMORY-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING

Verification of Communication Protocols in Web Services ◽

10.1002/9781118720103.ch5 ◽

2013 ◽

pp. 77-114

Keyword(s):

Model Checking ◽

State Space ◽

Software Model Checking ◽

Space Analysis ◽

State Space Analysis ◽

Software Model ◽

Memory Efficient

Download Full-text