Skip to Main content Skip to Navigation
Conference papers

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

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 : Thursday, January 7, 2021 - 4:39:35 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

596