A correct by construction approach for modeling and formalizing self-adaptive systems.

Marwa Hachicha Emna Dammak Riadh Ben Halima Ahmed Hadj Kacem

Published in: SNPD (2016)

Keyphrases

expert systems
management system
computer systems
data sets
neural network
real world
computer vision
digital libraries
artificial neural networks
multiresolution
distributed systems
intelligent systems
knowledge based systems
learning systems
embedded systems