Nihal Pekergin
IdRefMots clés
FR |
EN
Markov, Processus de
Audit informatique
Optimisation
Méthodes formelles (informatique)
Comparaison stochastique
Chaînes de Markov
Processus stochastiques
Énergie
Performance
Centres de calcul
Analyse numérique
Clouds
Centres de traitement informatique
Logiciels -- Vérification
Véhicule autonome
Méthodes formelles
Model-Checking statistique
Simulink
Véhicules autonomes
Simulink (logiciel)