Results

Found results 2

Full data Concise data

Click the title to see full data and shelfmark of each item

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Tesi presenti nel catalogo

Non consultabile 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
Author: CAMPANA DANIELE
Title: 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
Academic year: 2013/2014
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-236
Consultabile 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
Author: GIGLIO MARCO
Title: DEFINITION AND USE OF AUTOSAR MODELS TO OPTIMIZE THE CONFIGURATION OF AUTOMOTIVE SYSTEMS ON MULTICORE PLATFORMS
Relatore: DI NATALE MARCO
Secondo Relatore: PALOPOLI LUIGI
Academic year: 2013/2014
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-248
Richiedi la consultazione

New search