Abubkr Abdelsadiq

Publication Activity (10 Years)

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

Newcastle University, UK (PHD)

Education History

Newcastle University, UK

PHD

Publications

Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava
A high-level model-checking tool for verifying service agreements. SOSE (2011)
Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava
On Model Checker Based Testing of Electronic Contracting Systems. CEC (2010)