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

[img]
Anteprima
PDF
Flammini_Ingegneria_Informatica_ed_Automatica.pdf

Download (2MB) | Anteprima
Tipologia del documento: Tesi di dottorato
Lingua: English
Titolo: Model-based dependability evaluation of complex critical control systems
Autori:
AutoreEmail
Flammini, Francesco[non definito]
Data: 2007
Tipo di data: Pubblicazione
Numero di pagine: 142
Istituzione: Università degli Studi di Napoli Federico II
Dipartimento: Informatica e sistemistica
Dottorato: Ingegneria informatica ed automatica
Ciclo di dottorato: 19
Coordinatore del Corso di dottorato:
nomeemail
Cordella, Luigi Pietro[non definito]
Tutor:
nomeemail
Mazzeo, Antonino[non definito]
Data: 2007
Numero di pagine: 142
Parole chiave: RAMS; Verification; Multiformalism
Settori scientifico-disciplinari del MIUR: Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 - Sistemi di elaborazione delle informazioni
Depositato il: 13 Mag 2008
Ultima modifica: 30 Apr 2014 19:26
URI: http://www.fedoa.unina.it/id/eprint/1522
DOI: 10.6092/UNINA/FEDOA/1522

Actions (login required)

Modifica documento Modifica documento