Items by Bibu, Gideon

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 2.

Conference or Workshop Items

Bibu, G., Yoshioka, N. and Padget, J., 2012. System security requirements analysis with answer set programming. In: 2012 2nd IEEE International Workshop on Requirements Engineering for Systems, Services, and Systems-of-Systems, 2012-09-24 - 2012-09-24. IEEE, pp. 10-13.


Bibu, G. D., 2013. Computational Verification of Security Requirements. Thesis (Doctor of Philosophy (PhD)). University of Bath.

This list was generated on Mon Mar 19 16:41:54 2018 GMT.