A Model-based Approach to Certification of Adaptive MILS.

Dorien Koelemeijer Rasma Araby Ayoub Nouri Marius Bozga Rance DeLong

Published in: MILS@DSN (2018)

Keyphrases

third party
adaptive algorithms
database
neural network
computer vision
image processing
case study
multiscale
objective function
optimal solution
adaptive systems
adaptive filtering