Publications

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