L'insegnamento è erogato integralmente in lingua Inglese. Per tutte le informazioni relative, si veda la corrispondente sezione in lingua Inglese.
L'insegnamento introduce all'analisi e alla progettazione di sistemi ciberfisici: modellazione, simulazione e verifica formale di sistemi elettronici sincroni, asincroni, dinamici a tempo continuo, temporizzati e ibridi, tenendo conto dei requisiti di sicurezza e vivacità. Introduce inoltre al firmware su sistemi a microcontrollore. Lo studente svilupperà capacità analitiche e di progettazione attraverso un semplice progetto.
Ricevimento: L'insegnamento è erogato integralmente in lingua Inglese. Per tutte le informazioni relative, si veda la corrispondente sezione in lingua Inglese.
FRANCESCO BELLOTTI (Presidente)
LUCA LAZZARONI
RICCARDO BERTA (Presidente Supplente)
L'orario di questo insegnamento è consultabile all'indirizzo: Portale EasyAcademy