Command-based importance sampling for statistical model checking
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Sean Sedwards : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01387299
Soumis le : mardi 25 octobre 2016-13:38:18
Dernière modification le : mardi 27 août 2024-12:47:16