Italiano (Italian) English (Inglese)
Friday, 29 March 2024

Publications

Back
Pubblication Details
Authors:Daniele Codetta Raiteri
Scientific Area:Dependability and Reliability
Formal Models
Title:SAN models of a benchmark on dynamic reliability
Published on:TR-INF-2011-12-03-UNIPMN
Publisher:Computer Science Department, UPO
Year:2011
Tipo Pubblicazione:Technical Report
URL:http://www.di.unipmn.it...R-INF-2011-12-03-UNIPMN.pdf
Abstract: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.