TY  - CONF
A1  - Fourné, Marcel
A1  - Petersen, Dominique
A1  - Pohlmann, Norbert
A2  - Horbach, Matthias
T1  - Attack-test and verification systems, steps towards verifiable anomaly detection
T2  - Informatik 2013, Informatik angepasst an Mensch, Organisation und Umwelt. Tagung vom 16. - 20. September 2013 in Koblenz. 43rd meeting of the German Informatics Society
Y1  - 2013
UR  - https://whge.opus.hbz-nrw.de/frontdoor/index/index/docId/3408
UR  - https://norbert-pohlmann.com/wp-content/uploads/2015/08/303-Attack-Test-and-Verification-Systems-Steps-Towards-Verifiable-Anomaly-Detection-Prof-Norbert-Pohlmann.pdf
SN  - 978-3-88579-614-5
SP  - 2213
EP  - 2224
PB  - Ges. für Informatik
CY  - Bonn
ER  -