Login / Signup
Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation.
Prakash Mohan Peranandam
Roland J. Weiss
Jürgen Ruf
Thomas Kropf
Published in:
MBMV (2004)
Keyphrases
</>
model checking
real time
information systems
simulation model
levels of abstraction
verification method
neural network
learning algorithm
case study
software systems
mathematical model
simulation study
symbolic representation
connectionist models