Nabil Hameurlain
Mots clés
FR |
EN
Méthodes formelles
Logique de réécriture
Architectures par composants
Visualisation scientifique
Vérification
Reconfiguration dynamique
Analyse visuelle
Réseaux FIFO colorés stricts
Vivacité
Applications interactives distribuées/parallèles
Simulation par ordinateur
Réalité virtuelle
Traitement réparti
Logiciels -- Vérification
Reconfiguration (informatique)
Modélisation et vérification formelles
Architecture logicielle
Systèmes de systèmes
Langage de description architecturale
Systèmes Réactifs Bigraphiquesd'architecture