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