Fault Models and Injection Strategies in SystemC Specifications.

Cristiana Bolchini Antonio Miele Donatella Sciuto

Published in: DSD (2008)

Keyphrases

fault models
fault model
databases
model based diagnosis
state space
logic programs
electronic commerce