Sort by: Order: Results:

  • 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