Le moteur de recherche
des thèses françaises
Nihal Pekergin
IdRefMots clés
FR |
EN
Optimisation
Chaînes de Markov
Processus de Markov
Audit informatique
Méthodes formelles (informatique)
Logiciels -- Vérification
Consommation d'énergie
Processus stochastiques
Comparaison stochastique
Énergie
Performance
Centres de calcul
Analyse numérique
Clouds
Centres de traitement informatique
Véhicule autonome
Méthodes formelles
Model-Checking statistique
Simulink
Véhicules autonomes