Login | Register

Verifying Web Services Using Probabilistic Model Checking

Title:

Verifying Web Services Using Probabilistic Model Checking

Oghabi, Giti (2011) Verifying Web Services Using Probabilistic Model Checking. Masters thesis, Concordia University.

[thumbnail of oghabi_MASc_F2011.pdf]
Preview
Text (application/pdf)
oghabi_MASc_F2011.pdf - Accepted Version
1MB

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Oghabi, Giti
Institution:Concordia University
Degree Name:M.A. Sc.
Program:Software Engineering
Date:30 September 2011
ID Code:35968
Deposited By: GITI OGHABI
Deposited On:17 Nov 2011 20:22
Last Modified:18 Jan 2018 17:36
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top