Results

Found results 4

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, FORMAL VERIFICATION OF SLIM MODELS VIA TRANSLATION INTO EXPLICIT HYDI, Rel. SEBASTIANI ROBERTO, AA 2011/2012
Author: CAMPANA DANIELE
Title: FORMAL VERIFICATION OF SLIM MODELS VIA TRANSLATION INTO EXPLICIT HYDI
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Secondo Correlatore: TONETTA STEFANO
Academic year: 2011/2012
Course: Corso di Laurea - Informatica [0514G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: 0514G-40
Non consultabile DOKLA DODO EDWIN, MODELING AND VERIFICATION OF A TTETHERNET SYNCHRONIZATION FUNCTION AS HYBRID AUTOMATA, Rel. SEBASTIANI ROBERTO, AA 2011/2012
Author: DOKLA DODO EDWIN
Title: MODELING AND VERIFICATION OF A TTETHERNET SYNCHRONIZATION FUNCTION AS HYBRID AUTOMATA
Relatore: SEBASTIANI ROBERTO
Correlatore: TONETTA STEFANO
Secondo Correlatore: CIMATTI ALESSANDRO
Academic year: 2011/2012
Course: Corso di Laurea - Informatica [0514G]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0514G-65
Consultabile DORIGATTI MICHELE, THE OCRA TOOL: FORMAL SUPPORT FOR CONTRACT-BASED DESIGN, Rel. PASSERONE ROBERTO, AA 2011/2012
Author: DORIGATTI MICHELE
Title: THE OCRA TOOL: FORMAL SUPPORT FOR CONTRACT-BASED DESIGN
Relatore: PASSERONE ROBERTO
Correlatore: TONETTA STEFANO
Secondo Correlatore: CIMATTI ALESSANDRO
Academic year: 2011/2012
Course: Corso di Laurea - Informatica [0514G]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0514G-68
Richiedi la consultazione
Consultabile MOVER SERGIO, A ROBUST AUTOMATA LIBRARY FOR SYMBOLIC MODEL CHECKING EXPRESSIVE TEMPORAL LOGICS., Rel. SEBASTIANI ROBERTO, AA 2008/2009
Author: MOVER SERGIO
Title: A ROBUST AUTOMATA LIBRARY FOR SYMBOLIC MODEL CHECKING EXPRESSIVE TEMPORAL LOGICS.
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Correlatore: TONETTA STEFANO
Controrelatore: PALOPOLI LUIGI
Academic year: 2008/2009
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN142
Richiedi la consultazione

New search