Spécification Modulaire et Analyse Compositionnelle de Systèmes Stochastiques
Cette thèse présente des contributions originales pour la conception et la vérification de systèmes non-déterministes et stochastiques. Nos résultats sont divisés selon trois lignes directrices. Premièrement, nous généralisons la théorie des interfaces au cas stochastique, en s'appuyant sur le...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université Rennes 1
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00591609 http://tel.archives-ouvertes.fr/docs/00/59/16/09/PDF/phd.pdf |