Esporta come [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Raggruppa per: Tipologia del documento | Nessun raggruppamento
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]

Questa lista è stata generata il Tue Jan 6 08:54:02 2026 CET.