Skip to Main content Skip to Navigation
New interface
Conference papers

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

Paolo Ballarini 1 Nathalie Bertrand 2 Andras Horvath 3 Marco Paolieri 4 Enrico Vicario 4 
2 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
3 Dipartmento de Informatica
UNITO - Università degli studi di Torino = University of Turin
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00915026
Contributor : Nathalie Bertrand Connect in order to contact the contributor
Submitted on : Friday, December 6, 2013 - 2:27:34 PM
Last modification on : Friday, November 25, 2022 - 6:54:49 PM

Links full text

Identifiers

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. pp.355-371, ⟨10.1007/978-3-642-40196-1_30⟩. ⟨hal-00915026⟩

Share

Metrics

Record views

278