Oghabi, Giti (2011) Verifying Web Services Using Probabilistic Model Checking. Masters thesis, Concordia University.
oghabi_MASc_F2011.pdf - Accepted Version
|Divisions:||Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering|
|Item Type:||Thesis (Masters)|
|Degree Name:||M.A. Sc.|
|Date:||30 September 2011|
|Deposited By:||GITI OGHABI|
|Deposited On:||17 Nov 2011 20:22|
|Last Modified:||05 Nov 2016 01:43|
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