Login / Signup
Shreesha Rao P.
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Model Checker
Fault Tolerant
Safety Critical
Support Systems
Top Venues
ICACCI
</>
Publications
</>
Shreesha Rao P.
,
Manju Nanda
,
J. Jayanthi
Behavioral analysis of Safety Critical Systems using formal methods.
ICACCI
(2015)