Verification and Analysis of Web Service Composition

Ph.D

Saved in:
Bibliographic Details
Main Author: TAN TIAN HUAT
Other Authors: NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG
Format: Theses and Dissertations
Language:English
Published: 2013
Subjects:
Online Access:http://scholarbank.nus.edu.sg/handle/10635/48688
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Language: English
id sg-nus-scholar.10635-48688
record_format dspace
spelling sg-nus-scholar.10635-486882015-01-10T19:25:03Z Verification and Analysis of Web Service Composition TAN TIAN HUAT NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG DONG JIN SONG Web Service, Web Service Composition, Service Orchestration, Model Checking, Partial Order Reduction, Formal Verification Ph.D DOCTOR OF PHILOSOPHY 2013-12-31T18:45:47Z 2013-12-31T18:45:47Z 2013-08-22 Thesis TAN TIAN HUAT (2013-08-22). Verification and Analysis of Web Service Composition. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/48688 NOT_IN_WOS en
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
language English
topic Web Service, Web Service Composition, Service Orchestration, Model Checking, Partial Order Reduction, Formal Verification
spellingShingle Web Service, Web Service Composition, Service Orchestration, Model Checking, Partial Order Reduction, Formal Verification
TAN TIAN HUAT
Verification and Analysis of Web Service Composition
description Ph.D
author2 NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG
author_facet NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG
TAN TIAN HUAT
format Theses and Dissertations
author TAN TIAN HUAT
author_sort TAN TIAN HUAT
title Verification and Analysis of Web Service Composition
title_short Verification and Analysis of Web Service Composition
title_full Verification and Analysis of Web Service Composition
title_fullStr Verification and Analysis of Web Service Composition
title_full_unstemmed Verification and Analysis of Web Service Composition
title_sort verification and analysis of web service composition
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/48688
_version_ 1681083515933818880