Login / Signup
Ruhi Saxena
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Safety Critical
Formal Methods
Open Source
Top Venues
ICTCS
</>
Publications
</>
Monika Singh
,
Ashok Kumar Sharma
,
Ruhi Saxena
A Rigorous Framework for Verification & Validation of Dynamic Aspect of Safety Critical System.
ICTCS
(2016)