Login / Signup
Verification of a CAN bus model in SystemC with functional coverage.
Christoph Kuznik
Gilles B. Defo
Wolfgang Müller
Published in:
SIES (2010)
Keyphrases
</>
computational model
probability distribution
mathematical model
statistical model
network model
search engine
decision trees
multiscale
high speed
em algorithm
parameter estimation
hierarchical structure
formal model