selected publications
-
academic article
- Model-Based Verification of Security and Non-Functional Behavior using AADL. IEEE Security & Privacy. 1-1. 2009
Close
Lewis, Bruce
Publications
Contact
full name
- Bruce Lewis
Publications in VIVO
Co-author Network