polito.it
Politecnico di Torino (logo)

List of theses with "Camurati, Paolo Enrico as relator"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | No Grouping
Number of items: 3.

[img] Salvatore Francesco Rossetta. Formalization and Verification of Proportional Representation Voting Systems using Isabelle/HOL: A Study of D'Hondt and Sainte-Laguë Methods. Rel. Paolo Enrico Camurati, Bernhard Beckert. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024

Demetrio Bori. Model vs RTL : correlation beyond testing. Exploring the use of C vs RTL formal equivalence techinques for verification of CPU designs. Rel. Paolo Enrico Camurati. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2023

Emanuele Virgillito. Realizzazione di un’interfaccia per il debugging remoto di sistemi embedded emulati = Implementation of a remote debugger interface for emulated Embedded Systems. Rel. Gianpiero Cabodi, Paolo Enrico Camurati. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2019

This list was generated on Mon Dec 9 19:59:00 2024 CET.