Tesi di Neyroz, Samuele

Esplora per Tesisti

Raggruppa per: Tipologia del documento | Nessun raggruppamento

Salta a: Tesi

Numero di pubblicazioni : 1.

Samuele Neyroz. Automated Hardware Verification Verification Attribute Generation from Multi-Source Specifications. Rel. Maurizio Martina. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2026

Questa lista è stata generata il Wed May 6 21:42:55 2026 CEST.