Results
|
Found results 3 Full data Concise dataClick the title to see full data and shelfmark of each item |
Consultabilità delle tesi
|
DONAZZOLO FULVIO, UN'ANALISI FORMALE DELLA COMPETIZIONE INTERNAZIONALE PER SISTEMI DI DIAGNOSTICA,
Rel. CIMATTI ALESSANDRO,
AA 2011/2012
Author:
DONAZZOLO FULVIO
Title: UN'ANALISI FORMALE DELLA COMPETIZIONE INTERNAZIONALE PER SISTEMI DI DIAGNOSTICA Relatore: CIMATTI ALESSANDRO Correlatore: BOZZANO MARCO Secondo Correlatore: CAVADA ROBERTO Academic year: 2011/2012 Course: Corso di Laurea - Informatica (triennale) [0507C] Struttura didattica: Facoltà di Scienze Formato: digitale Shelfmark: 0507C-398 Richiedi la consultazione |
GREGO ELIA, FAILURE PROPAGATION OF SAFETY CRITICAL SYSTEMS: THE WHEEL BRAKE SYSTEM CASE STUDY,
Rel. SEBASTIANI ROBERTO,
AA 2020/2021
Author:
GREGO ELIA
Title: 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 Academic year: 2020/2021 Course: Corso di Laurea Magistrale - INFORMATICA [0517H] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Shelfmark: 0517H-716 |
|
MATTAREI CRISTIAN, DEFINIZIONE E SVILUPPO DI UNA TRADUZIONE FORMALE DA ALTARICA AD HYDI PER LA VERIFICA DEI SISTEMI AVIONICI.,
Rel. PALOPOLI LUIGI,
AA 2009/2010
Author:
MATTAREI CRISTIAN
Title: 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 Academic year: 2009/2010 Course: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Shelfmark: QN183 Richiedi la consultazione |