Automated test generation and evaluation for real-time expert systems

被引：0
|
作者：
机构：
[1] Becker, Lee
[2] Duckworth, James
[3] Laznovsky, Aaron
[4] Green, Peter
来源：
Becker, Lee | 1600年 / Publ by John Wiley & Sons Inc, New York, NY, United States卷 / 09期
关键词：
Expert systems;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Automatic generation of run-time test oracles for distributed real-time systems
    Wang, X
    Wang, J
    Qi, ZC
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2004, PROCEEDINGS, 2004, 3235 : 199 - 212
  • [32] Test of preemptive real-time systems
    Adjir, Noureddine
    de Saqui-Sannes, Pieffe
    Rahmouni, K. Mustapha
    2008 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1-3, 2008, : 734 - +
  • [33] THE REAL-TIME EXPERT
    LAFFEY, TJ
    BYTE, 1991, 16 (01): : 259 - &
  • [34] Automated compositional proofs for real-time systems
    Furia, CA
    Rossi, M
    Mandrioli, D
    Morzenti, A
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3442 : 326 - 340
  • [35] Automated compositional proofs for real-time systems
    Furia, Carlo A.
    Rossi, Matteo
    Mandrioli, Dino
    Morzenti, Angelo
    THEORETICAL COMPUTER SCIENCE, 2007, 376 (03) : 164 - 184
  • [36] PROBLEMS WITH EXPERT-SYSTEMS IN REAL-TIME CONTROL
    JONES, AV
    RODD, MG
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 1993, 6 (06) : 499 - 506
  • [37] REAL-TIME EXPERT SYSTEMS FOR PROCESS-CONTROL
    KLETT, G
    CHEMIE INGENIEUR TECHNIK, 1988, 60 (02) : 141 - 141
  • [38] A dynamic scheduling algorithm for real-time expert systems
    Campos, AM
    García, DF
    ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS, 2002, 2527 : 775 - 784
  • [39] REAL-TIME EXPERT-SYSTEMS AND THEIR FUNCTION PRIMITIVES
    DUBEY, BP
    FELKEL, L
    JOURNAL OF SCIENTIFIC & INDUSTRIAL RESEARCH, 1994, 53 (07): : 585 - 594
  • [40] Management of well production with real-time expert systems
    不详
    JOURNAL OF PETROLEUM TECHNOLOGY, 1999, 51 (10): : 34 - 34
12345