Login / Signup
Sarvesh Patankar
Publication Activity (10 Years)
Years Active: 2013-2021
Publications (10 Years): 1
Top Topics
Hybrid Approaches
Safety Critical
Model Checking
Face Verification
Top Venues
VTS
VDAT
</>
Publications
</>
Sarvesh Patankar
,
Sainath Karlapalem
,
Sakshi Biyani
,
Wen Chen
,
Roman Chovanec
,
Martin Vlk
,
Martin Kaspar
Hybrid Methodology for Verification of SW Safety Mechanisms.
VTS
(2021)
Rohit Srivastava
,
Gaurav Gupta
,
Sarvesh Patankar
,
Nandini Mudgil
Automatic Test Bench Generation and Connection in Modern Verification Environments: Methodology and Tool.
VDAT
(2013)