Year
SSD
INF/01
TAF
C
CFU
6
SEM
II
Lecturers
Detailed Description
Objective: introducing cyber-physical systems, with particular regard to modeling them with hybrid formalisms and the formal verification of their properties.