GETS theses

GETS theses

Theses that have been developed in collaboration with General Electric Transportation Systems.

|Titolo| |Data| |Autore|
SPECIFICA FORMALE TRAMITE SDL DI UN SISTEMA DI SEGNALAMENTO FERROVIARIO 2002 Alessandro Felleca
SPECIFICA ED ANALISI MEDIANTE SDL DI UN SISTEMA INNOVATIVO DI SEGNALAMENTO FERROVIARIO 2003 Francesco Traquandi
SPECIFICA E VALIDAZIONE MEDIANTE STATECHARTS DI UN SISTEMA DI SEGNALAMENTO FERROVIARIO 2003 Niccolò Zingoni
MODELLAZIONE TRAMITE STATECHART DI UN SISTEMA DI DISTANZIAMENTO FERROVIARIO 2005 Lippi David
MODELLAZIONE MEDIANTE STATEFLOW DI UN SISTEMA DI SEGNALAMENTO FERROVIARIO 2005 Matteo Tempestini
MODELLAZIONE, ANALISI DI COPERTURA E VERIFICA DI MODELLI STATEFLOW 2005 Giovanni Lombardi
DEFINIZIONE DI UN PROCESSO DI SVILUPPO BASATO SU MODELLO PER APPLICAZIONI DI SEGNALAMENTO FERROVIARIO 2007 Leonardo Rimini
MODELLAZIONE FORMALE DI UN PROTOCOLLO DI COMUNICAZIONE APERTO SAFETY-CRITICAL 2007 Andrea Nannucci
SPERIMENTAZIONE DELLA GENERAZIONE DI CODICE C DA MODELLI STATEFLOW 2007 Lorenzo Paladini
PROCESSO DI SVILUPPO BASATO SU METODI FORMALI PER UN SISTEMA DI SEGNALAMENTO FERROVIARIO 2007 Emiliano Nesti
ANALISI E VALUTAZIONE DELLO STRUMENTO DI MODELLAZIONE SCADE NELL'AMBITO DEL SEGNALAMENTO FERROVIARIO 2009 Andrea-Santosh Boninsegni
L'INTERPRETAZIONE ASTRATTA COME TECNICA DI VERIFICA DEL CODICE: STRUMENTI ED APPLICAZIONI 2009 Daniele Grasso
STRUMENTI DI ANALISI STATICA DI MODELLI STATEFLOW 2009 Gianluca Magnani
VERIFICA FORMALE DI SISTEMI DI INTERLOCKING FERROVIARIO: ANALISI E VALUTAZIONE DEL MODEL CHECKER SPIN 2010 Fabio Meacci
INTERFACCIA GRAFICA PER MODEL CHECKER NUSMV 2010 Silvia Lorenzini
ANALISI E MODELLAZIONE DI UN SISTEMA DI AUTOMATIC TRAIN OPERATION 2010 Gabriele Dionisi