Giti Oghabi

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Giti Oghabi, Jamal Bentahar, Abdelghani Benharref
On the Verification of Behavioral and Probabilistic Web Services Using Transformation. ICWS (2011)
Giti Oghabi, Jamal Bentahar, Abdelghani Benharref
Model Checking Single Web Services using Markov Chains and MDPs. SoMeT (2011)