carrozza, gabriella (2008) Software faults Diagnosis in Complex, OTS-based, critical systems. [Tesi di dottorato] (Inedito)
