Specification and Verification of Composite Web Services Based on Extended Projection Temporal Logic
JOURNAL- XIAN JIAOTONG UNIVERSITY ; 41 , 10 ; 1155-1159
01.01.2007
5 pages
Aufsatz (Zeitschrift)
Unbekannt
DDC: | 500 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Projection Temporal Logic Oriented Model Checking for Web Services
British Library Online Contents | 2009
|British Library Online Contents | 2010
|Model-Checking Security Protocol with Propositional Projection Temporal Logic
British Library Online Contents | 2010
|General Environmental Verification Specification
NTRS | 2003
|General Environmental Verification Specification
NTIS | 2003
|