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
Citácia podle Chicago (17th ed.)Munteanu, Andrei, Michele Pasqua, a 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.
Citácia podľa MLA (8th ed.)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.