Recently added

Center for Creative Learning (CCL): 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 ...

Search Digital Repository


My Account