Generali:

  • Dipartimento: Scienze Matematiche, Fisiche E Naturali
  • Settore Ministeriale: INF/01
  • Codice di verbalizzazione: 8066134
  • Metodi di insegnamento: Frontale E Altro
  • Metodi di valutazione: Orale
  • Prerequisiti: NESSUNO
  • Obiettivi: MODEL CHECKING ESPLICITO E SIMBOLICO. TIMED AUTOMATA E SISTEMI IBRIDI USO DEL MODEL CHECKING NEL PLANNING
  • Ricevimento: su appuntamento: inviare una mail per definire giorno e orario

Didattica:

  • A.A.: 2021/2022
  • Canale: UNICO
  • Crediti: 6

Classe virtuale:

  • Nome classe: INTRIGILA-8066134-METODI_DI_VERIFICA_DI_SISTEMI_1
  • Link Microsoft Teams: Link
  • Docente: INTRIGILA BENEDETTO