Benoît Delahaye
IdRefMots clés
FR
...
Markov, Processus de
Systèmes informatiques -- Mesures de sûreté
Modèle CMM (informatique)
ProbLog
WalkSAT
Traitement d'événements (informatique)
Incertitude (théorie de l'information)
Drones terrestres
Prototypes
Logiciels -- Vérification
Systèmes stochastiques
SDL (langage de programmation)
Modèles mathématiques
Systèmes, Conception de
--
Modélisation des données (informatique)
Méthodes formelles (informatique)
Probabilités