A Diagnosis Framework for Critical Systems Verification (Short Paper).

Vincent Leildé Vincent Ribaud Ciprian Teodorov Philippe Dhaussy

Published in: SEFM (2017)

Keyphrases

main contribution
theoretical framework
data mining
artificial intelligence
learning systems
conceptual framework
formal methods
real time
machine learning
image sequences
expert systems
fault diagnosis
computer aided
heterogeneous systems