Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri. Formalization and co-simulation of attacks on cyber-physical systems. Journal in Computer Virology, 16(1):63-77, 2020. [doi]
@article{BernardeschiDP20, title = {Formalization and co-simulation of attacks on cyber-physical systems}, author = {Cinzia Bernardeschi and Andrea Domenici and Maurizio Palmieri}, year = {2020}, doi = {10.1007/s11416-019-00344-9}, url = {https://doi.org/10.1007/s11416-019-00344-9}, researchr = {https://researchr.org/publication/BernardeschiDP20}, cites = {0}, citedby = {0}, journal = {Journal in Computer Virology}, volume = {16}, number = {1}, pages = {63-77}, }