Login / Signup
Naresh Ramaram
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Multiscale
Information Redundancy
Real World
Simulation Study
Top Venues
IFM
</>
Publications
</>
Tim Blackmore
,
David Halliwell
,
Philip Barker
,
Kerstin Eder
,
Naresh Ramaram
Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports.
IFM
(2012)