Bernard P. Zeigler
IdRefMots clés
FR |
EN
Vérification et Validation
Modélisation et Simulation
Systèmes à Evènements Discrets
Méthodes Formelles
Systèmes temporisés
Promela
DEv-PROMELA
Systèmes informatiques
Systèmes échantillonnés
Modélisation des données (informatique)
Simulation par ordinateur
Mode de transfert asynchrone
SDL (langage de programmation)
Système à évènement discret
Apprentissage par renforcement
Processus de Markov
Prise de décision
Management financier
Intelligence artificielle
Explicabilité