Le moteur de recherche
des thèses françaises
Serge Haddad
IdRefMots clés
FR |
EN
Réseaux de Petri
Processus de Markov
Processus stochastiques
Logiciels -- Vérification
Méthodes formelles (informatique)
Algorithmes
Services Web
Vérification
Méthodes formelles
Réseaux de Pétri
Audit informatique
Intelligence artificielle répartie
Traitement réparti
Model-checking
Réduction
Théorie des jeux
Systèmes informatiques
Chaînes de Markov
Concurrence
Systèmes échantillonnés