1.Verification and validation of knowledge-based systems

Tsai, WeiTek, Zhang,     More...

Tsai, WeiTek, Zhang, Du, Vishnuvajjala, Rama     Less

IEEE Transactions on Knowledge and Data Engineering[1041-4347], Published 1999, Volume 11, Issue 1, Pages 202-212

收錄情况： WOS SCOPUS

WOS核心合集引用: 32  2022影響因子:  8.9  发表年影響因子:  0.662 

2.PREPARE - A TOOL FOR KNOWLEDGE-BASE VERIFICATION

ZHANG, D, NGUYEN, D     More...

ZHANG, D, NGUYEN, D     Less

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING[1041-4347], Published 1994, Volume 6, Issue 6, Pages 983-989

收錄情况： WOS SCOPUS

WOS核心合集引用: 37  2022影響因子:  8.9