%0 Conference Paper %1 conf/smartgridcomm/RiveraTS21 %A Rivera, Abel O. Gomez %A Tosh, Deepak K. %A Shetty, Sachin %B SmartGridComm %D 2021 %I IEEE %K dblp %P 245-251 %T Achieving Runtime State Verification Assurance in Critical Cyber-Physical Infrastructures. %U http://dblp.uni-trier.de/db/conf/smartgridcomm/smartgridcomm2021.html#RiveraTS21 %@ 978-1-6654-1502-6

@inproceedings{conf/smartgridcomm/RiveraTS21, added-at = {2024-05-07T00:00:00.000+0200}, author = {Rivera, Abel O. Gomez and Tosh, Deepak K. and Shetty, Sachin}, biburl = {https://www.bibsonomy.org/bibtex/29ca4a50c4cd2eaa2fb9714dff85d2ac0/dblp}, booktitle = {SmartGridComm}, crossref = {conf/smartgridcomm/2021}, ee = {https://doi.org/10.1109/SmartGridComm51999.2021.9632340}, interhash = {28cb064e21d7f96b4dd12146bff14b6f}, intrahash = {9ca4a50c4cd2eaa2fb9714dff85d2ac0}, isbn = {978-1-6654-1502-6}, keywords = {dblp}, pages = {245-251}, publisher = {IEEE}, timestamp = {2024-05-13T08:25:53.000+0200}, title = {Achieving Runtime State Verification Assurance in Critical Cyber-Physical Infrastructures.}, url = {http://dblp.uni-trier.de/db/conf/smartgridcomm/smartgridcomm2021.html#RiveraTS21}, year = 2021 }