Flammini, Francesco (2007) Model-based dependability evaluation of complex critical control systems. [Tesi di dottorato] (Unpublished)
Preview |
PDF
Flammini_Ingegneria_Informatica_ed_Automatica.pdf Download (2MB) | Preview |
| Item Type: | Tesi di dottorato |
|---|---|
| Resource language: | English |
| Title: | Model-based dependability evaluation of complex critical control systems |
| Creators: | Creators Email Flammini, Francesco UNSPECIFIED |
| Date: | 2007 |
| Date type: | Publication |
| Number of Pages: | 142 |
| Institution: | Università degli Studi di Napoli Federico II |
| Department: | Informatica e sistemistica |
| Dottorato: | Ingegneria informatica ed automatica |
| Ciclo di dottorato: | 19 |
| Coordinatore del Corso di dottorato: | nome email Cordella, Luigi Pietro UNSPECIFIED |
| Tutor: | nome email Mazzeo, Antonino UNSPECIFIED |
| Date: | 2007 |
| Number of Pages: | 142 |
| Keywords: | RAMS; Verification; Multiformalism |
| Settori scientifico-disciplinari del MIUR: | Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 - Sistemi di elaborazione delle informazioni |
| Date Deposited: | 13 May 2008 |
| Last Modified: | 12 Aug 2026 05:10 |
| URI: | https://www.fedoa.unina.it/id/eprint/1522 |
| DOI: | 10.6092/UNINA/FEDOA/1522 |
Downloads
Downloads per month over past year
Actions (login required)
 |
View Item |
