Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach.

Cláudio Belo Lourenço Maria João Frade Jorge Sousa Pinto

Published in: ESOP (2016)

Keyphrases

real world
real time
databases
feature selection
multimedia
decision trees
control system
adaptive systems
adaptation process