Publications

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