Vérification partielle de programmes de contrôle-commande par interprétation abstraite.

Olivier Bouissou

Published in: Tech. Sci. Informatiques (2012)

Keyphrases

technology enhanced
higher education
m learning
lifelong learning
corporate training
data mining
learning environment
cooperative
computational intelligence