TreeMerge: Efficient Generation of Minimal Hitting-Sets for Conflict Sets in Tree Structure for Model-Based Fault Diagnosis
['Xiangfu Zhao', 'Xiangrong Tong', 'Dantong Ouyang', 'Liming Zhang', 'Yanzhi Hou']
/
IEEE Transactions on Reliability
/ Vol. 70
/ No. 4
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？