Samir Ben Ahmed
IdRefMots clés
FR |
EN
Modélisation
Diagrammes de prédicats
TLA+
B événementiel
Systèmes automatisés
Patrons de conception
Composition
Raffinement
Vérification
Ingénierie des systèmes
Intelligence ambiante
Identification de situation/d’activité
Données imparfaites
Analyse de données
Raisonnement distribué
Perception
Traitement réparti
Analyse des données
Informatique omniprésente
Automatique