Ipsita Koley, Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay, Amogh Kashyap K. N., Sachin Kumar Singh, Lavanya Lokesh, Jithin Nalu Purakkal, Nishant Sinha. Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations. In 2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020. pages 314-317, IEEE, 2020. [doi]
@inproceedings{KoleyGDMNSLPS20,
title = {Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations},
author = {Ipsita Koley and Saurav Kumar Ghosh and Soumyajit Dey and Debdeep Mukhopadhyay and Amogh Kashyap K. N. and Sachin Kumar Singh and Lavanya Lokesh and Jithin Nalu Purakkal and Nishant Sinha},
year = {2020},
doi = {10.23919/DATE48585.2020.9116211},
url = {https://doi.org/10.23919/DATE48585.2020.9116211},
researchr = {https://researchr.org/publication/KoleyGDMNSLPS20},
cites = {0},
citedby = {0},
pages = {314-317},
booktitle = {2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020},
publisher = {IEEE},
isbn = {978-3-9819263-4-7},
}