![](/img/cover-not-exists.png)
Model-Based Verification of Security and Non-Functional Behavior using AADL
Hansson, Jorgen, Lewis, Bruce, Hugues, J¿r¿me, Wrage, Lutz, Feiler, Peter, Morley, JohnYear:
2015
Language:
english
Journal:
IEEE Security & Privacy
DOI:
10.1109/msp.2009.143
File:
PDF, 416 KB
english, 2015