Susmita Guha

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Formal Verification

Adaptive Systems

Top Venues

Publications

Susmita Guha, Akash Nag, Rahul Karmakar
Formal Verification of Safety-Critical Systems: A Case-Study in Airbag System Design. ISDA (2020)