DocumentCode
288049
Title
IEE Colloquium on `Knowledge-Based Systems for Safety Critical Applications´ (Digest No.1994/109)
fYear
1994
fDate
1994
Abstract
The following topics were dealt with: safety-critical aspects of expert systems; advice systems in health and safety areas; knowledge base verification; and safety-critical software design
Keywords
formal verification; knowledge based systems; safety; software reliability; advice systems; expert systems; health and safety; knowledge base verification; safety-critical aspects; safety-critical software design;
fLanguage
English
Publisher
iet
Conference_Titel
Knowledge-Based Systems for Safety Critical Applications, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
369623
Link To Document