---
_id: '47841'
author:
- first_name: Marcel
  full_name: Fourné, Marcel
  id: '99291'
  last_name: Fourné
- first_name: Dominique
  full_name: Petersen, Dominique
  last_name: Petersen
- first_name: Norbert
  full_name: Pohlmann, Norbert
  last_name: Pohlmann
citation:
  ama: 'Fourné M, Petersen D, Pohlmann N. Attack-test and verification systems, steps
    towards verifiable anomaly detection. In: <i>INFORMATIK 2013 – Informatik Angepasst
    an Mensch, Organisation Und Umwelt</i>. Gesellschaft für Informatik e.V.; 2013:2213–2224.'
  apa: Fourné, M., Petersen, D., &#38; Pohlmann, N. (2013). Attack-test and verification
    systems, steps towards verifiable anomaly detection. In <i>INFORMATIK 2013 – Informatik
    angepasst an Mensch, Organisation und Umwelt</i> (pp. 2213–2224). Gesellschaft
    für Informatik e.V.
  bibtex: '@inbook{Fourné_Petersen_Pohlmann_2013, place={Bonn}, title={Attack-test
    and verification systems, steps towards verifiable anomaly detection}, booktitle={INFORMATIK
    2013 – Informatik angepasst an Mensch, Organisation und Umwelt}, publisher={Gesellschaft
    für Informatik e.V.}, author={Fourné, Marcel and Petersen, Dominique and Pohlmann,
    Norbert}, year={2013}, pages={2213–2224} }'
  chicago: 'Fourné, Marcel, Dominique Petersen, and Norbert Pohlmann. “Attack-Test
    and Verification Systems, Steps towards Verifiable Anomaly Detection.” In <i>INFORMATIK
    2013 – Informatik Angepasst an Mensch, Organisation Und Umwelt</i>, 2213–2224.
    Bonn: Gesellschaft für Informatik e.V., 2013.'
  ieee: 'M. Fourné, D. Petersen, and N. Pohlmann, “Attack-test and verification systems,
    steps towards verifiable anomaly detection,” in <i>INFORMATIK 2013 – Informatik
    angepasst an Mensch, Organisation und Umwelt</i>, Bonn: Gesellschaft für Informatik
    e.V., 2013, pp. 2213–2224.'
  mla: Fourné, Marcel, et al. “Attack-Test and Verification Systems, Steps towards
    Verifiable Anomaly Detection.” <i>INFORMATIK 2013 – Informatik Angepasst an Mensch,
    Organisation Und Umwelt</i>, Gesellschaft für Informatik e.V., 2013, pp. 2213–2224.
  short: 'M. Fourné, D. Petersen, N. Pohlmann, in: INFORMATIK 2013 – Informatik Angepasst
    an Mensch, Organisation Und Umwelt, Gesellschaft für Informatik e.V., Bonn, 2013,
    pp. 2213–2224.'
date_created: 2023-10-06T16:10:13Z
date_updated: 2023-10-06T16:22:52Z
extern: '1'
language:
- iso: eng
page: 2213–2224
place: Bonn
publication: INFORMATIK 2013 – Informatik angepasst an Mensch, Organisation und Umwelt
publication_identifier:
  isbn:
  - 978-3-88579-614-5
publisher: Gesellschaft für Informatik e.V.
status: public
title: Attack-test and verification systems, steps towards verifiable anomaly detection
type: book_chapter
user_id: '99291'
year: '2013'
...