Title :
IEE Colloquium on `Knowledge-Based Systems for Safety Critical Applications´ (Digest No.1994/109)
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;
Conference_Titel :
Knowledge-Based Systems for Safety Critical Applications, IEE Colloquium on
Conference_Location :
London
