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]


![[up]](/style/images/multi_up.png)