Probabilistic model checking of a probabilistic until operator in generalized semi-Markov processes
Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers / Andras Horvath; Marco Paolieri; Lorenzo Ridi; Enrico Vicario. - STAMPA. - (2011), pp. 131-140. (Intervento presentato al convegno QEST'13) [10.1109/QEST.2011.23].
Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers
HORVATH, ANDRAS;PAOLIERI, MARCO;RIDI, LORENZO;VICARIO, ENRICO
2011
Abstract
Probabilistic model checking of a probabilistic until operator in generalized semi-Markov processes
File 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.
