Chris Thornton, Tom Flanagan, Jörg Denzinger, Jeffrey E. Boyd. Evaluating goal ordering structures for testing harbour security policies. In 2011 IEEE Symposium on Computational Intelligence for Security and Defense Applications, CISDA 2011, Paris, France, April 15, 2011. pages 1-8, IEEE, 2011. [doi]
Abstract is missing.