Login / Signup

Towards integration of adaptability and non-intrusive runtime verification in avionic systems.

José Rufino
Published in: SIGBED Rev. (2016)
Keyphrases
  • distributed systems
  • decision trees
  • databases
  • neural network
  • genetic algorithm
  • learning algorithm
  • social networks
  • metadata
  • expert systems
  • data integration
  • complex systems
  • computing systems
  • verification method