Formal approach for a verified implementation of Global EDF in Trampoline.

Khaoula Boukir Jean-Luc Béchennec Anne-Marie Déplanche

Published in: RTNS (2018)

Keyphrases

feature selection
expert systems
real time
multiscale
implementation details
implementation issues
database
neural network
search engine
decision making
search algorithm
formal specification