Risultati
|
Risultati trovati 2 Dati completi Dati sinteticiClicca sul titolo per vedere i dati completi di ogni documento e la segnatura con la quale richiederlo. |
Consultabilità delle tesi
|
CAMPANA DANIELE, A FORMAL FRAMEWORK FOR THE EFFICIENT SIMULATION OF TIMED COMPLEX SYSTEMS AND CONTROL PLANS,
Rel. SEBASTIANI ROBERTO,
Rel. CIMATTI ALESSANDRO,
AA 2013/2014
Autore:
CAMPANA DANIELE
Titolo: A FORMAL FRAMEWORK FOR THE EFFICIENT SIMULATION OF TIMED COMPLEX SYSTEMS AND CONTROL PLANS Relatore: SEBASTIANI ROBERTO Secondo Relatore: CIMATTI ALESSANDRO Correlatore: CAVADA ROBERTO Secondo Correlatore: DI NATALE MARCO Anno accademico: 2013/2014 Corso: Corso di Laurea Magistrale - INFORMATICA [0517H] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Segnatura: 0517H-236 |
GIGLIO MARCO, DEFINITION AND USE OF AUTOSAR MODELS TO OPTIMIZE THE CONFIGURATION OF AUTOMOTIVE SYSTEMS ON MULTICORE PLATFORMS,
Rel. DI NATALE MARCO,
Rel. PALOPOLI LUIGI,
AA 2013/2014
Autore:
GIGLIO MARCO
Titolo: DEFINITION AND USE OF AUTOSAR MODELS TO OPTIMIZE THE CONFIGURATION OF AUTOMOTIVE SYSTEMS ON MULTICORE PLATFORMS Relatore: DI NATALE MARCO Secondo Relatore: PALOPOLI LUIGI Anno accademico: 2013/2014 Corso: Corso di Laurea Magistrale - INFORMATICA [0517H] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Segnatura: 0517H-248 Richiedi la consultazione |