Please use this identifier to cite or link to this item: http://hdl.handle.net/2440/90458
Citations
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
1872-6291
Statement of
Responsibility: 
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: http://purl.org/au-research/grants/arc/DP0878367
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.