Sachin Kumar Singh

Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations

Debdeep Mukhopadhyay, Saurav Kumar Ghosh, Soumyajit Dey, 2020, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).