Abubkr Abdelsadiq

According to our database¹, Abubkr Abdelsadiq authored at least 3 papers between 2010 and 2013.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2013

A toolkit for model checking of electronic contracts.

[BibT_eX]

[DOI]

PhD thesis, 2013

2011

A high-level model-checking tool for verifying service agreements.

[BibT_eX]

[DOI]

Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

2010

On Model Checker Based Testing of Electronic Contracting Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Commerce and Enterprise Computing, 2010