Login / Signup
Nilesh Kharat
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Inference Mechanism
Face Verification
Text Summarization
Belief Networks
Top Venues
ICSE
</>
Publications
</>
Geetam Chawla
,
Navneet Aman
,
Raghavan Komondoor
,
Ashish Bokil
,
Nilesh Kharat
Verification of ORM-based Controllers by Summary Inference.
ICSE
(2022)