Numerical verification of nonlinear hybrid automata (2020/2021)

Course code
cod wi: DT000086
Name of lecturer
Luca Geretti
Coordinator
Luca Geretti
Number of ECTS credits allocated
3
Academic sector
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Language of instruction
Italian
Location
VERONA
Period
A.A. 20/21 dottorato dal Oct 1, 2020 al Sep 30, 2021.

Lesson timetable

Go to lesson schedule