FHP-Murphi is an explicit disk based bounded model checker for discrete time (possibly hybrid) stochastic systems.
FHP-Murphi / iuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa. - ELETTRONICO. - (2006).
FHP-Murphi
MELATTI, IGOR;TRONCI, Enrico;ZILLI, Marisa
2006
Abstract
FHP-Murphi is an explicit disk based bounded model checker for discrete time (possibly hybrid) stochastic systems.File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
