Summer School on Formal Methods for Cyber-Physical Systems - Verona, 12-16 settembre 2017

Summer School on Formal Methods for Cyber-Physical Systems - Verona, 12-16 settembre 2017
  dal 12/09/17 al 16/09/17
Da martedì 12 a sabato 16 settembre 2017 si terrà la prima edizione della Summer School on Formal Methods for Cyber-physical Systems, con focus sulla sintesi automatica dei controllori per i sistemi ibridi.

La scuola è organizzata dal Prof. Tiziano Villa ed è finanziata dalla Scuola di Dottorato in Scienze Naturali e Ingegneristiche e il Dipartimento di Informatica.

Maggiori informazioni sul sito della Summer School
 

Organizzazione

Strutture del dipartimento

Condividi