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