Transient Analysis of Networks of Stochastic Timed Automata and their underlying GSMP using Stochastic State Classes
Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes / Paolo Ballarini; Nathalie Bertrand; Andras Horvath; Marco Paolieri; Enrico Vicario. - STAMPA. - (2013), pp. 355-371. (Intervento presentato al convegno 10th International Conference on Quantitative Evaluation of Systems (QEST'13)) [10.1007/978-3-642-40196-1_30].
Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes
HORVATH, ANDRAS;PAOLIERI, MARCO;VICARIO, ENRICO
2013
Abstract
Transient Analysis of Networks of Stochastic Timed Automata and their underlying GSMP using Stochastic State ClassesFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.