@inproceedings{FournePetersenPohlmann2019,
  author    = {Marcel Fourn{\´e} and Dominique Petersen and Norbert Pohlmann},
  title     = {Attack-test and verification systems, steps towards verifiable anomaly detection},
  booktitle = {Informatik 2013, Informatik angepasst an Mensch, Organisation und Umwelt. Tagung vom 16. - 20. September 2013 in Koblenz. 43rd meeting of the German Informatics Society},
  editor    = {Matthias Horbach},
  pages     = {2213 -- 2224},
  url       = {https://norbert-pohlmann.com/wp-content/uploads/2015/08/303-Attack-Test-and-Verification-Systems-Steps-Towards-Verifiable-Anomaly-Detection-Prof-Norbert-Pohlmann.pdf},
  year      = {2019},
}