Susmita Guha

According to our database, Susmita Guha authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2020

Formal Verification of Safety-Critical Systems: A Case-Study in Airbag System Design.

Susmita Guha, Akash Nag, Rahul Karmakar

Proceedings of the Intelligent Systems Design and Applications, 2020