Flammini, Francesco (2007) Model-based dependability evaluation of complex critical control systems. [Tesi di dottorato] (Unpublished)

[img]
Preview
PDF
Flammini_Ingegneria_Informatica_ed_Automatica.pdf

Download (2MB) | Preview
[error in script] [error in script]
Item Type: Tesi di dottorato
Lingua: English
Title: Model-based dependability evaluation of complex critical control systems
Creators:
CreatorsEmail
Flammini, FrancescoUNSPECIFIED
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:
nomeemail
Cordella, Luigi PietroUNSPECIFIED
Tutor:
nomeemail
Mazzeo, AntoninoUNSPECIFIED
Date: 2007
Number of Pages: 142
Uncontrolled 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: 30 Apr 2014 19:26
URI: http://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 View Item