Le moteur de recherche
des thèses françaises
Idir Aït-Sadoune
IdRefMots clés
FR |
EN
B (méthode formelle)
Multimodalité en sortie
Raffinement
Preuve de théorème
Interfaces utilisateur (informatique)
Interaction humain-machine
Conception de systèmes informatiques
Analyse des systèmes
Modélisation et vérification formelles
Raffinement et preuve de systèmes
B-événementiel
Systèmes communicants
Architectures orientées services
Compositions de services
SOA
Flux de travail
Modèles mathématiques
Ontologie
Web Sémantique
Théories Formelles