{"citation":{"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.","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} }","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.","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.","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.","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."},"_id":"47841","page":"2213–2224","publication":"INFORMATIK 2013 – Informatik angepasst an Mensch, Organisation und Umwelt","date_created":"2023-10-06T16:10:13Z","extern":"1","place":"Bonn","date_updated":"2023-10-06T16:22:52Z","status":"public","year":"2013","title":"Attack-test and verification systems, steps towards verifiable anomaly detection","publication_identifier":{"isbn":["978-3-88579-614-5"]},"publisher":"Gesellschaft für Informatik e.V.","language":[{"iso":"eng"}],"type":"book_chapter","user_id":"99291","author":[{"id":"99291","first_name":"Marcel","last_name":"Fourné","full_name":"Fourné, Marcel"},{"first_name":"Dominique","last_name":"Petersen","full_name":"Petersen, Dominique"},{"last_name":"Pohlmann","full_name":"Pohlmann, Norbert","first_name":"Norbert"}]}