Risultati trovati 4 Dati completi Dati sinteticiClicca sul titolo per vedere i dati completi di ogni documento e la segnatura con la quale richiederlo. |
Consultabilità delle tesi
Consultabile |
CAMPANA DANIELE, FORMAL VERIFICATION OF SLIM MODELS VIA TRANSLATION INTO EXPLICIT HYDI,
Rel. SEBASTIANI ROBERTO,
AA 2011/2012
Autore:
CAMPANA DANIELE
Titolo: FORMAL VERIFICATION OF SLIM MODELS VIA TRANSLATION INTO EXPLICIT HYDI Relatore: SEBASTIANI ROBERTO Correlatore: CIMATTI ALESSANDRO Secondo Correlatore: TONETTA STEFANO Anno accademico: 2011/2012 Corso: Corso di Laurea - Informatica [0514G] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: 0514G-40 |
DOKLA DODO EDWIN, MODELING AND VERIFICATION OF A TTETHERNET SYNCHRONIZATION FUNCTION AS HYBRID AUTOMATA,
Rel. SEBASTIANI ROBERTO,
AA 2011/2012
Autore:
DOKLA DODO EDWIN
Titolo: MODELING AND VERIFICATION OF A TTETHERNET SYNCHRONIZATION FUNCTION AS HYBRID AUTOMATA Relatore: SEBASTIANI ROBERTO Correlatore: TONETTA STEFANO Secondo Correlatore: CIMATTI ALESSANDRO Anno accademico: 2011/2012 Corso: Corso di Laurea - Informatica [0514G] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Segnatura: 0514G-65 |
DORIGATTI MICHELE, THE OCRA TOOL: FORMAL SUPPORT FOR CONTRACT-BASED DESIGN,
Rel. PASSERONE ROBERTO,
AA 2011/2012
Autore:
DORIGATTI MICHELE
Titolo: THE OCRA TOOL: FORMAL SUPPORT FOR CONTRACT-BASED DESIGN Relatore: PASSERONE ROBERTO Correlatore: TONETTA STEFANO Secondo Correlatore: CIMATTI ALESSANDRO Anno accademico: 2011/2012 Corso: Corso di Laurea - Informatica [0514G] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Segnatura: 0514G-68 Richiedi la consultazione |
MOVER SERGIO, A ROBUST AUTOMATA LIBRARY FOR SYMBOLIC MODEL CHECKING EXPRESSIVE TEMPORAL LOGICS.,
Rel. SEBASTIANI ROBERTO,
AA 2008/2009
Autore:
MOVER SERGIO
Titolo: A ROBUST AUTOMATA LIBRARY FOR SYMBOLIC MODEL CHECKING EXPRESSIVE TEMPORAL LOGICS. Relatore: SEBASTIANI ROBERTO Correlatore: CIMATTI ALESSANDRO Correlatore: TONETTA STEFANO Controrelatore: PALOPOLI LUIGI Anno accademico: 2008/2009 Corso: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: QN142 Richiedi la consultazione |