Research

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.

Thesis

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

This list was generated on Thu Oct 19 01:07:58 2017 IST.