Adelaide Research & Scholarship
Please use this identifier to cite or link to this item:
https://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. |
| DOI: | 10.1016/j.ins.2012.09.016 |
| Grant ID: | http://purl.org/au-research/grants/arc/DP0878367 |
| Published version: | http://dx.doi.org/10.1016/j.ins.2012.09.016 |
| Appears in Collections: | Aurora harvest 2 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.