Simulation Based System Level Fault Insertion Using Co-verification Tools.

Bill Eklow Anoosh Hosseini Chi Khuong Shyam Pullela Toai Vo Hien Chau

Published in: ITC (2004)

Keyphrases

software tools
levels of abstraction
model checking
user friendly
software engineering
decision support
higher level
fault diagnosis
database
genetic algorithm
case study
user interface
control system