Search results for: Martin Hall-May
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Poster Session > 330-343
Lecture Notes in Computer Science > Safety and Security in Multiagent Systems > Methodological Approaches to High-Assurance Systems > 49-66
International Journal of Applied Mathematics and Computer Science > 2011 > 21 > 2 > 259-274