Fault-model-based test generation for embedded software
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Model-Based diagnosis through OBDD compilation: a complexity analysis
Reasoning, Action and Interaction in AI Theories and Systems
Diagnosability Analysis Based on Component-Supported Analytical Redundancy Relations
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Hi-index | 0.00 |