Davide Bresolin

  1. Home
  2. Persone
  3. Davide Bresolin
Foto, 11 dicembre 2008
E-mail
davide|bresolin*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Non presente dal
28 febbraio 2014
Note
 
Curriculum

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 0.
Clicca sull'insegnamento per vedere orari e dettagli del corso.


Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e anche tramite l'app Univr.

MyUnivr
Vai al dipartimento di riferimento: Informatica
Competenze
Argomento Descrizione Area di ricerca
Logiche non classiche (intuizionista, lineare, modale, temporale) Ingegneria del Software e Verifica Formale
Logic
Verifica di sistemi embedded Tecniche per la verifica di sistemi embedded a diversi livelli di astrazione, con particolare attenzione a: - tecniche di verifica statica - tecniche di verifica dinamica - tecniche di verifica semi formale - verifica di sistemi ibridi e real-time Hardware validation
Vai al dipartimento di riferimento: Informatica



Altri incarichi

© 2002 - 2025  Università degli studi di Verona
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234