Abel O. Gomez Rivera, Deepak K. Tosh, Sachin Shetty. Achieving Runtime State Verification Assurance in Critical Cyber-Physical Infrastructures. In IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2021, Aachen, Germany, October 25-28, 2021. pages 245-251, IEEE, 2021. [doi]
@inproceedings{RiveraTS21,
title = {Achieving Runtime State Verification Assurance in Critical Cyber-Physical Infrastructures},
author = {Abel O. Gomez Rivera and Deepak K. Tosh and Sachin Shetty},
year = {2021},
doi = {10.1109/SmartGridComm51999.2021.9632340},
url = {https://doi.org/10.1109/SmartGridComm51999.2021.9632340},
researchr = {https://researchr.org/publication/RiveraTS21},
cites = {0},
citedby = {0},
pages = {245-251},
booktitle = {IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2021, Aachen, Germany, October 25-28, 2021},
publisher = {IEEE},
isbn = {978-1-6654-1502-6},
}