Réseaux d'Automates Stochastiques : Analyse transitoire en temps continu et algèbre tensorielle pour une sémantique en temps discret
Cette thèse présente des méthodes et des algorithmes pour l'évaluation de performance de modèles avec très grands espace d'états décrits par des formalismes de haut niveau. Parmi les différents formalismes couramment utilisés, on se place dans le cadre des Réseaux d'Automates Stochast...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00424652 http://tel.archives-ouvertes.fr/docs/00/43/18/09/PDF/these_BRENNER.pdf http://tel.archives-ouvertes.fr/docs/00/43/18/09/ANNEX/soutenance_these.pdf |