Formal Methods for the Engineering and Certification of Safety-critical Knowledge-based Systems.
Giovanna DondossolaPublished in: EUROVAV (1999)
Keyphrases
- formal methods
- safety critical
- knowledge based systems
- software intensive systems
- expert systems
- knowledge acquisition
- artificial intelligence
- model checker
- knowledge base
- production rules
- development lifecycle
- knowledge representation
- knowledge sources
- multi agent
- software engineering
- reinforcement learning
- database systems
- information systems
- database