Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes

Type de document :
Communication dans un congrès
QEST - 10th International Conference on Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. Springer, 8054, pp.355-371, 2013, LNCS. 〈10.1007/978-3-642-40196-1_30〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00915026
Contributeur : Nathalie Bertrand <>
Soumis le : vendredi 6 décembre 2013 - 14:27:34
Dernière modification le : mardi 16 janvier 2018 - 15:54:22

Identifiants

Citation

Paolo Ballarini, Nathalie Bertrand, Andras Horvath, Marco Paolieri, Enrico Vicario. Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes. QEST - 10th International Conference on Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. Springer, 8054, pp.355-371, 2013, LNCS. 〈10.1007/978-3-642-40196-1_30〉. 〈hal-00915026〉

Partager

Métriques

Consultations de la notice

325