Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes - Université de Rennes 1 Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

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

Fichier principal
Vignette du fichier
80540334 copy.pdf (416.81 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00915026 , version 1 (14-05-2024)

Identifiants

Citer

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⟩
283 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More