Risultati trovati 3 Dati completi Dati sinteticiClicca sul titolo per vedere i dati completi di ogni documento e la segnatura con la quale richiederlo. |
Consultabilità delle tesi
|
![]()
Autore:
DONAZZOLO FULVIO
Titolo: UN'ANALISI FORMALE DELLA COMPETIZIONE INTERNAZIONALE PER SISTEMI DI DIAGNOSTICA Relatore: CIMATTI ALESSANDRO Correlatore: BOZZANO MARCO Secondo Correlatore: CAVADA ROBERTO Anno accademico: 2011/2012 Corso: Corso di Laurea - Informatica (triennale) [0507C] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: 0507C-398 Richiedi la consultazione |
![]()
Autore:
GREGO ELIA
Titolo: FAILURE PROPAGATION OF SAFETY CRITICAL SYSTEMS: THE WHEEL BRAKE SYSTEM CASE STUDY Relatore: SEBASTIANI ROBERTO Correlatore: CIMATTI ALESSANDRO Secondo Correlatore: BOZZANO MARCO Controrelatore: GRIGGIO ALBERTO Anno accademico: 2020/2021 Corso: Corso di Laurea Magistrale - INFORMATICA [0517H] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Segnatura: 0517H-716 |
![]()
Autore:
MATTAREI CRISTIAN
Titolo: DEFINIZIONE E SVILUPPO DI UNA TRADUZIONE FORMALE DA ALTARICA AD HYDI PER LA VERIFICA DEI SISTEMI AVIONICI. Relatore: PALOPOLI LUIGI Correlatore: CIMATTI ALESSANDRO Correlatore: BOZZANO MARCO Anno accademico: 2009/2010 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN183 Richiedi la consultazione |