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
Services Web
Vérification
Méthodes formelles (informatique)
Algorithmes
Réseaux de Pétri
Audit informatique
Intelligence artificielle répartie
Traitement réparti
Model-checking
Réduction
Théorie des jeux
Méthodes formelles
Systèmes informatiques
Chaînes de Markov
Concurrence
Systèmes échantillonnés