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 Thu Dec 26 20:52:05 2024 CET.