Le moteur de recherche
des thèses françaises
Thomas Polacsek
IdRefMots clés
FR |
EN
Modélisation
Ingénierie des exigences
Intelligence artificielle
Logique épistémique
Informatique en nuage
Migration infonuagique
Estimation des coûts d'exploitation
Informatique dans les nuages
Migration des systèmes d'information
Modélisation des données (informatique)
Planification
Logique
Logique modale
Agent autonome
Représentation de l'action
Programmation logique
Modalité (logique)
Méthodes formelles
Ingénierie Dirigée par le Modèles
Logiciels embarqués