Munteanu, A., Pasqua, M., & Merro, M. (2020, May). Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking. 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE), 34-43. https://doi.org/10.1145/3372020.3391563
Chicago-Zitierstil (17. Ausg.)Munteanu, Andrei, Michele Pasqua, und Massimo Merro. "Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking." 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE) May. 2020: 34-43. https://doi.org/10.1145/3372020.3391563.
MLA-Zitierstil (9. Ausg.)Munteanu, Andrei, et al. "Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking." 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE), May. 2020, pp. 34-43, https://doi.org/10.1145/3372020.3391563.