Raggruppa per: Tipologia del documento | Nessun raggruppamento
Vai a: Tesi di dottorato
Numero di documenti: 1.
Tesi di dottorato
Venticinque, Alessio (2014) Semantic Techniques for Verification and Validation of Safety Critical Embedded Systems in Industrial Applications. [Tesi di dottorato]