Login / Signup
Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports.
Tim Blackmore
David Halliwell
Philip Barker
Kerstin Eder
Naresh Ramaram
Published in:
IFM (2012)
Keyphrases
</>
information redundancy
artificial intelligence
multiscale
formal language
database
real world
information systems
e learning
case study
database systems
mathematical model
simulation study
numerical simulations
structural properties