Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking. Munteanu, A.; Pasqua, M.; and Merro, M. In FormaliSE@ICSE, pages 34-43, 2020. ACM.
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking. [link]Link  Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking. [link]Paper  bibtex   
@inproceedings{conf/icse/MunteanuPM20,
  added-at = {2020-09-22T00:00:00.000+0200},
  author = {Munteanu, Andrei and Pasqua, Michele and Merro, Massimo},
  biburl = {https://www.bibsonomy.org/bibtex/20bc5109eedecc49a4925e5920a14037a/dblp},
  booktitle = {FormaliSE@ICSE},
  crossref = {conf/icse/2020formalise},
  ee = {https://doi.org/10.1145/3372020.3391563},
  interhash = {d54266a16bfbdfd437b130eee8978b5a},
  intrahash = {0bc5109eedecc49a4925e5920a14037a},
  isbn = {978-1-4503-7071-4},
  keywords = {dblp},
  pages = {34-43},
  publisher = {ACM},
  timestamp = {2020-09-23T11:35:02.000+0200},
  title = {Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking.},
  url = {http://dblp.uni-trier.de/db/conf/icse/formalise2020.html#MunteanuPM20},
  year = 2020
}
Downloads: 0