Journal Articles

Journal Articles

 

Recent Submissions

  • Adhikary, Sunandan; Gurung, Amit; Thakkar, Jay; Da Costa, Antonio Bruto; Dey, Soumyajit; Hazra, Aritra; Dasgupta, Pallab (Institute of Electrical and Electronics Engineers, 2021-09)
    A large fraction of bugs discovered in the design flow of Embedded Control Software (ECS) embedded control software arises from the control softwares interaction with the plant it controls. Traditional formal analysis ...

View more