Publications

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is formal modeling and Author is F. Kammüller  [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.