Numerical verification of nonlinear hybrid automata (2020/2021)

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.

Orario lezioni

Vai all'orario delle lezioni