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
Uncontrolled Keywords: RAMS; Verification; Multiformalism
Depositing User: Staff Staff
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