polito.it
Politecnico di Torino (logo)
Webthesis
Biblioteche d'ateneo

Tesi di Bollea, Edoardo

Livello precedente
[feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Tipologia del documento | Nessun raggruppamento
Numero di pubblicazioni : 1.

Edoardo Bollea. Verifying Register Maps with Formal Verification How Formal compares to Universal Verification Methodology. Rel. Maurizio Martina, Guido Masera. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2021

Questa lista รจ stata generata il Sat Apr 19 20:47:23 2025 CEST.