Items where Author is "Brücker, A.D."
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 2.
Conference or Workshop Item
Brücker, A.D. and Brügger, L. and Kearney, Paul and Wolff, B. (2011) An Approach to Modular and Testable Security Models of Real-world Health-Care Applications. In: ACM Symposium on Access control Models and Technologies, 21-23 June, Indianapolis.
Brücker, A.D. and Brügger, L. and Kearney, Paul and Wolff, B. (2010) Verified firewall policy transformations for test case generation. In: Third Conference on Software Testing, Verification and Validation, Paris.