Numerical verification of nonlinear hybrid automata (2020/2021)

  1. Home
  2. Didattica
  3. Dottorati di ricerca
  4. Dottorato in Informatica
  5. Insegnamenti
Codice insegnamento
cod wi: DT000086
Docente
Luca Geretti
Coordinatore
Luca Geretti
crediti
3
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Lingua di erogazione
Italiano
Sede
VERONA
Periodo
A.A. 20/21 dottorato dal 1-ott-2020 al 30-set-2021.
Avvisi relativi al corso Seminari relativi al corso

Orario lezioni

Vai all'orario delle lezioni

Condividi