Pubblicazioni
| 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 |
| Tipo Pubblicazione: | Technical Report |
| 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. |