Task 5.3 : Historique des versions

De MARMOTE

Sélection du diff : cochez les boutons radio des versions à comparer et appuyez sur entrée ou sur le bouton en bas.
Légende : (actu) = différence avec la dernière version, (diff) = différence avec la version précédente, m = modification mineure.

  • (actu | diff) 24 juin 2013 à 14:22Ajm (discussion | contributions). . (385 octets) (+385). . (Page créée avec « == Task 5.3: Stochastic Verification by Simulation == === Objectives === Improve the efficiency of Stochastic Model Checking with a combination of Perfect Simulation, Par... »)