Numerical and statistical approaches for model checking of stochastic processes
Nous proposons dans cette thèse plusieurs contributions relatives à la vérification quantitative des systèmes. Cette discipline vise à évaluer les propriétés fonctionnelles et les performances d'un système. Une telle vérification requiert deux ingrédients : un modèle formel de représentati...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2012
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2012DENS0025/document |