Please use this identifier to cite or link to this item:
Scopus Web of Science® Altmetric
Type: Journal article
Title: Behavior modeling and automated verification of Web services
Author: Sheng, Q.
Maamar, Z.
Yao, L.
Szabo, C.
Bourne, S.
Citation: Information Sciences, 2014; 258:416-433
Publisher: Elsevier
Issue Date: 2014
ISSN: 0020-0255
Statement of
Quan Z. Sheng, Zakaria Maamar, Lina Yao, Claudia Szabo, Scott Bourne
Abstract: Abstract not available
Keywords: Web service; cloud computing; service behavior; conversation message; symbolic model checking
Rights: © 2012 Elsevier Inc. All rights reserved.
RMID: 0020127781
DOI: 10.1016/j.ins.2012.09.016
Grant ID:
Appears in Collections:Computer Science publications

Files in This Item:
There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.