Révision datée du 24 juin 2013 à 15:14 par Ajm (discussion | contributions) (Page créée avec « == Task 5.3: Stochastic Verification by Simulation == === Objectifs === Améliorer l'efficacité du ''Stochastic Model Checking'' avec une combinaison de simulation parf... »)
Tache 5.3
De MARMOTE
Task 5.3: Stochastic Verification by Simulation
Objectifs
Améliorer l'efficacité du Stochastic Model Checking avec une combinaison de simulation parfaite, simulation parallèle et simulation numérique (en particulier, bornes stochastiques).
Structure
- Responsables: N. Pekergin + J.-M. Fourneau
- Participants: A. Bušić, J.-M. Vincent, M.-A. Tran, S. Tan
