Thomas Brihaye
IdRefMots clés
FR |
EN
Markov, Processus de
Théorie des jeux
Frontière
Mobilité
Systémique
Représentation
Sig
Système d'information géographique
Transports urbains
Coopération transfrontalière
Jeux de parité
Jeux de priorité
Systèmes stochastiques
Vérification formelle
Theorie des jeux
Méthodes formelles
Méthodes formelles (informatique)
Formalisme (mathématiques)
Vérification
Automates temporisés