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.

Course news Seminars related to the course

Lesson timetable

Go to lesson schedule