polito.it
Politecnico di Torino (logo)

Tesi di Bollea, Edoardo

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

Tesi

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 Wed Dec 25 21:07:28 2024 CET.