Login / Signup
Formal methods in the development of safety critical Knowledge-Based components.
Giovanna Dondossola
Published in:
EUROVAV (1998)
Keyphrases
</>
safety critical
formal methods
safety analysis
knowledge based systems
software engineering
model checker
formal specification
model checking
regulatory requirements
artificial intelligence
fault tolerant
agent architecture
embedded systems
building blocks
expert systems
e learning
development lifecycle
database