ACI
Sécurité Informatique
Projet
Sure-Paths
. Description
Un espace d'états trop grand où se produisent des événements trop rares
Approche Modulaire et Représentation Tensorielle
Bornes Trajectorielles
Autres Méthodes de Bornes sur les Probabilités
Approche de Courtois et Semal
Approche Dynamique Max,+
Simulation
Monte Carlo
Simulation Parfaite
Model Checking Stochastique
Ihab Sbeity 2003-09-22
. Description
Ihab Sbeity
2003-09-22