Serge Haddad
IdRefMots clés
FR |
EN
Petri, Réseaux de
Markov, Processus de
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
Web sémantique