acm sigbed
|
emsoft
|
participants
Nikhil Kumar Singh
EMSOFT 2020: 20th International Conference on Embedded Software
Specification Guided Automated Debugging of CPS Models
Nikhil Kumar Singh
and
Indranil Saha
10.1109/TCAD.2020.3012862
https://www.cse.iitk.ac.in/users/isaha/Publications/Conferences/EMSOFT20.pdf/