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
Item Type: Tesi di dottorato
Language: 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
PHD name: Ingegneria informatica ed automatica
PHD cycle: 19
PHD Coordinator:
nameemail
Cordella, Luigi PietroUNSPECIFIED
Tutor:
nameemail
Mazzeo, AntoninoUNSPECIFIED
Date: 2007
Number of Pages: 142
Uncontrolled Keywords: RAMS; Verification; Multiformalism
MIUR S.S.D.: 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

Actions (login required)

View Item View Item