Naviga UNITESI

Sfoglia per Relatore

Ordina per:

In ordine:

Risultati/Pagina

Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

o inserisci le iniziali:

Mostrati risultati da 1 a 8 di 8

2020/2021 FANTACONI, EUGENIO

2019/2020 GENTILE, FABIO

2019/2020 DI PATRIZIO, DENIS

2022/2023 PULCINI, ANDREA

2018/2019 VENTIMIGLIA, VITTORIO

2019/2020 DI SABATINO, LUCA

2018/2019 CIAVARRO, CRISTINA

2019/2020 FORTUNATO, FEDERICO

Tipo	Anno accademico	Titolo	Autore
Laurea magistrale (Postgraduate Degree)	2020/2021	I sistemi cyber-fisici, loro formalizzazione e verifica di proprietà	FANTACONI, EUGENIO
Laurea triennale (Bachelor's Degree)	2019/2020	Il Sistema Maude: Strategie e Parametrizzazione	GENTILE, FABIO
Laurea triennale (Bachelor's Degree)	2019/2020	Il tool CSI per la verifica della confluenza di sistemi di riscrittura	DI PATRIZIO, DENIS
Laurea triennale (Bachelor's Degree)	2022/2023	Il tool Tamarin per l'analisi simbolica di protocolli di sicurezza	PULCINI, ANDREA
Laurea triennale (Bachelor's Degree)	2018/2019	LA TECNOLOGIA BLOCKCHAIN	VENTIMIGLIA, VITTORIO
Laurea triennale (Bachelor's Degree)	2019/2020	Model checking nel sistema Maude	DI SABATINO, LUCA
Laurea magistrale (Postgraduate Degree)	2018/2019	Studio e Applicazione dei Metodi Formali nell'Ingegneria del Software	CIAVARRO, CRISTINA
Laurea triennale (Bachelor's Degree)	2019/2020	TTT2: un tool per la terminazione di sistemi di riscrittura	FORTUNATO, FEDERICO

Mostrati risultati da 1 a 8 di 8