ESTA - AN EXPERT SYSTEM FOR DFT RULE VERIFICATION

被引：4
|
作者：
CAMURATI, P
GIANOGLIO, P
GIANOGLIO, R
PRINETTO, P
机构：
[1] UNIV TURIN, DEPARTIMENTO SCI INFORMAZ, I-10124 TURIN, ITALY
[2] POLITECN TORINO, DIPARTIMENTO AUTOMAT & INFORMAT, I-10129 TURIN, ITALY
来源：
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS | 1988年 / 7卷 / 11期
关键词：
D O I：
10.1109/43.9187
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
32
引用
收藏
页码：1172 / 1180
页数：9
相关论文
共 50 条
  • [1] Verification of a Rule-Based Expert System by Using SAL Model Checker
    Siregar, Maria Ulfah
    Abriani, Sayekti
    [J]. 2019 3RD INTERNATIONAL CONFERENCE ON INFORMATICS AND COMPUTATIONAL SCIENCES (ICICOS 2019), 2019,
  • [2] Expert System based on ESTA and Guide for Condition Evaluation of Transformers
    Cui Qiming
    Cui Shuting
    Guan Zuyuan
    Sun Wentao
    [J]. RENEWABLE AND SUSTAINABLE ENERGY, PTS 1-7, 2012, 347-353 : 306 - +
  • [3] AN EFFICIENT STRATEGY FOR ANALYSIS AND VERIFICATION IN RULE-BASED EXPERT-SYSTEM DEVELOPMENT
    SCHINDLER, N
    [J]. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1994, 13 (04): : 397 - 408
  • [4] INTRODUCING EXPERT SYSTEMS TO MEDICAL-STUDENTS USING ESTA, EXPERT SYSTEM TEACHING AID
    MCWILLIAMS, AT
    [J]. MEDICAL EDUCATION, 1988, 22 (02) : 99 - 103
  • [5] Expert System Shells for Rapid Clinical Decision Support Module Development: An ESTA Demonstration of a Simple Rule-Based System for the Diagnosis of Vaginal Discharge
    Boulos, Maged N. Kamel
    [J]. HEALTHCARE INFORMATICS RESEARCH, 2012, 18 (04) : 252 - 258
  • [6] Improving ESTA and Implementing the Expert System of Substation Direct Current System Condition Evaluation
    Zhang, Zi-rong
    Cui, Qi-ming
    Cui, Shu-ting
    Liang, Kai
    Meng, Hong-yu
    Wang, Xue
    Bai, Yang
    Huang, Su-long
    Li, Fu-kun
    Li, Yue
    Zhao, Xue
    Huang, Bo
    Ni, Ni
    Chen, Hui-wen
    Huang, Pin-rui
    [J]. 2019 INTERNATIONAL CONFERENCE ON ENERGY, POWER, ENVIRONMENT AND COMPUTER APPLICATION (ICEPECA 2019), 2019, 334 : 106 - 114
  • [7] Verification of qualitative properties of rule-based expert systems
    Lunardhi, AD
    Passino, KM
    [J]. APPLIED ARTIFICIAL INTELLIGENCE, 1995, 9 (06) : 587 - 621
  • [8] VERIFICATION OF RULE-BASED EXPERT SYSTEMS IN WIDE DOMAINS
    PREECE, AD
    [J]. RESEARCH AND DEVELOPMENT IN EXPERT SYSTEMS VI, 1989, : 66 - 77
  • [9] Two-tier verification of rule based expert systems
    Hicks, RC
    [J]. JOURNAL OF COMPUTER INFORMATION SYSTEMS, 1996, 37 (01) : 1 - 4
  • [10] Visualization of expert system rule bases
    Kamler, J
    Buhyoff, GJ
    Miller, P
    [J]. AI APPLICATIONS, 1997, 11 (02): : 55 - 62
12345