Towards Making Safety-Critical Systems Safer: Learning from Mistakes.

Nuno Silva Marco Vieira

Published in: ISSRE Workshops (2014)

Keyphrases

safety critical
learning systems
formal methods
learning algorithm
safety analysis
real time
learning process
knowledge acquisition
support systems
adaptive systems
machine learning
expert systems
case based reasoning
fault tolerant
medical diagnosis