Le moteur de recherche
des thèses françaises
Nihal Pekergin
IdRefMots clés
FR |
EN
Chaînes de Markov
Markov, Processus de
Audit informatique
Optimisation
Méthodes formelles (informatique)
Processus stochastiques
Logiciels -- Vérification
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
Simulink (logiciel)