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