Login / Signup
Sofiane Bourouz
ORCID
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 2
Top Topics
Cloud Services
Ubiquitous Environment
Automatic Discovery
Context Aware Mobile
Top Venues
Int. J. Crit. Comput. Based Syst.
ICAASE
</>
Publications
</>
Sofiane Bourouz
,
Nadia Zeghib
On context-independent and context-aware cloud services substitutability verification.
Int. J. Crit. Comput. Based Syst.
8 (1) (2018)
Sofiane Bourouz
,
Nadia Zeghib
Towards formal checking of Web services substitutability.
ICAASE
(2016)