Publications

Export 2 results:
Author Title [ Type(Asc)] Year
Filters: Keyword is Automated verification and Author is F. Kammüller  [Clear All Filters]
Journal Article
Kammüller F., Probst C.W.  2015.  Modeling and Verification of Insider Threats Using Logical Analysis. IEEE Systems Journal. 99:1–12.
Kammüller F., Probst C.W.  2016.  Modeling and Verification of Insider Threats Using Logical Analysis. IEEE Systems Journal.