Formal Verification and Analysis of Embedded and Cyber-Physical Systems, Controller Synthesis, Compositional Verification, Interface and Contract Theories for Component-based Design
Personal Information
Prof Purandar Bhaduri
Male
Indian Institute of Technology GuwahatiGuwahati, Assam, India - 781039