Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Linda Mohand Oussaïd

Mots clés

FR |

EN

Multimodalité en sortie

Preuve de théorème

Interfaces utilisateur (informatique)

Interaction humain-machine

B (méthode formelle)

Conception de systèmes informatiques

Analyse des systèmes