 | Up a level |
Vedovi, Ilaria and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2004) [BM Tesi I 0212]. - Analisi della correlazione tra copertura di guasto funzionale e proprietà temporali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Sturla, Simona and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2003) [BM Tesi I 0159]. - Verifica funzionale come supporto all'analisi di completezza di un insieme di proprietà. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bombieri, Nicola and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2003) [BM Tesi I 0272]. - Verifica funzionale di sistemi embedded di rete. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Menegolli, Diego and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2003) [BM Tesi I 0288]. - Simulazione di dispositivi embedded di rete. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Marconcini, Cristina and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2003) [BM Tesi I 0289]. - Relazione tra modelli di guasto a diversi livelli di astrazione. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Formaggio, Luca and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2003) [BM Tesi I 0290]. - Una tecnica di co-simulazione accurata temporalmente per sistemi embedded. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Azzoni, Paolo and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2001) [BM Tesi I 0018]. - Tecniche semiformali di verifica per il test funzionale di dispositivi hardware. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
