Le moteur de recherche
des thèses françaises
Faiza Belala
IdRefMots clés
FR |
EN
Méthodes formelles
Modélisation et vérification formelles
Logique de réécriture
Sds
SCs
Missions
Contrôle centralisé
Stratégies de gestion
Ingénierie
Langages de programmation
Modélisation des données (informatique)
Architecture logicielle
Systèmes de systèmes
Langage de description architecturale
Systèmes Réactifs Bigraphiquesd'architecture
Architecture
Fog computing
Informatique géodistribuée
Services Web
Architecture Orientée Services