Back to Search Start Over

A Dynamic Verification Method for Knowledge-Based Systems

Authors :
Tomihiro Takano
Toshiaki Sakaguchi
Keinosuke Matsumoto
Source :
IEEJ Transactions on Power and Energy. 111:125-132
Publication Year :
1991
Publisher :
Institute of Electrical Engineers of Japan (IEE Japan), 1991.

Subjects

Subjects :
Dynamic simulation
Knowledge-based systems
High-level verification
Computer science
business.industry
Embedded system
Runtime verification
Energy Engineering and Power Technology
Verification
Electrical and Electronic Engineering
business
Software verification
Intelligent verification

Details

ISSN :
13488147 and 03854213
Volume :
111
Database :
OpenAIRE
Journal :
IEEJ Transactions on Power and Energy
Accession number :
edsair.doi...........1f1c5d6890777b48f33fa989d43b6506
Full Text :
https://doi.org/10.1541/ieejpes1990.111.1_125
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details