Serge Haddad
IdRefMots clés
FR |
EN
Petri, Réseaux de
Markov, Processus de
Processus stochastiques
Logiciels -- Vérification
Services Web
Méthodes formelles (informatique)
Vérification
Algorithmes
Réseaux de Pétri
Audit informatique
Réduction
Théorie des jeux
Intelligence artificielle répartie
Méthodes formelles
Traitement réparti
Model-checking
Systèmes informatiques
Logique temporelle
Vérification de modèles
Chaînes de Markov