![](/img/cover-not-exists.png)
[IEEE 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Grenoble, France (2020.3.9-2020.3.13)] 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations
Koley, Ipsita, Ghosh, Saurav Kumar, Dey, Soumyajit, Mukhopadhyay, Debdeep, Kashyap K N, Amogh, Kumar Singh, Sachin, Lokesh, Lavanya, Purakkal, Jithin Nalu, Sinha, NishantYear:
2020
DOI:
10.23919/DATE48585.2020.9116211
File:
PDF, 285 KB
2020