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. (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.
