Abdullah A. H. Alzahrani

According to our database¹, Abdullah A. H. Alzahrani authored at least 2 papers between 2014 and 2016.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2016

Using Codecharts for formally modelling and automating detection of patterns with application to Security Patterns.

[BibT_eX]

[DOI]

PhD thesis, 2016

2014

Structural Analysis of the Check Point Pattern.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014