On Ensuring Safety and Liveness Properties of Concurrent Models in SystemC.

Pallavi Shurpali Ravi Shankar Ellie Shuff

Published in: MSE (2005)

Keyphrases

databases
multiscale
real world
artificial neural networks
prior knowledge
data sets
data mining
probabilistic model
d objects
parameter estimation
experimental data
statistical models
computational models
safety critical