Purandar Bhaduri
Professor
Department of Computer Science and Engineering
Indian Institute of Information Technology, Guwahati
India
Biography
Formal Verification and Analysis of Embedded Systems, Interface and Contract Theories for Component-based Design
Research Interest
Formal Verification and Analysis of Embedded Systems, Interface and Contract Theories for Component-based Design
