Verification of communication protocols in web services :

" Verification of communication protocols in web services : "
Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University

Document Type	:	BL
Record Number	:	658044
Doc. No	:	dltt
Main Entry	:	Tari, Zahir
Title & Author	:	Verification of communication protocols in web services : : model-checking service compositions /\ Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University
Series Statement	:	Wiley series on parallel and distributed computing ;; 83
Page. NO	:	1 online resource (1 volume) :: illustrations
ISBN	:	9780470905395
Bibliographies/Indexes	:	Includes bibliographical references and index
Subject	:	Web services-- Testing
Subject	:	Computer network protocols
LC Classification	:	‭TK5105.88813‬
Added Entry	:	Bertók, Péter,1952-
	:	Mukherjee, Anshuman
Added Entry	:	Ohio Library and Information Network
	:	Institute of Electrical and Electronics Engineers
	:	IEEE Computer Society

خطا