Italiano (Italian) English (Inglese)
giovedì, 12 dicembre 2024

Rapporti Tecnici

Dettagli rapporto tecnico
Autori:Daniele Codetta Raiteri
Area Scientifica:Dependability and Reliability
Formal Models
Titolo:SAN models of a benchmark on dynamic reliability
Apparso su:TR-INF-2011-12-03-UNIPMN
Editore:Computer Science Department, UPO
Anno:2011
URL:http://www.di.unipmn.it...R-INF-2011-12-03-UNIPMN.pdf
Sommario:This report provides the detailed description of the Stochastic Activity Network (SAN) models appearing in [1] and concerning a benchmark on dynamic reliability taken from the literature.