Con questa funzione puoi costruire il tuo calendario settimanale delle lezioni, personalizzato sulla base dei corsi che intendi seguire.
Attenzione: l'Orario Personalizzato non sostituisce la presentazione del piano degli studi! E' uno strumento informale, che ti può aiutare a gestire al meglio l'organizzazione della frequenza alle lezioni prima della presentazione del piano studi.
Dopo aver presentato piano ti raccomandiamo di utilizzare il servizio Orario delle lezioni presente nel tuo elenco dei Servizi Online.
Per creare il calendario personalizzato segui queste istruzioni:
- Clicca sul link "Abilita" per procedere. Ti verrà chiesto il cognome e nome per determinare il tuo scaglione alfabetico.
-
Per aggiungere o togliere insegnamenti dal tuo Orario Personalizzato, utilizza le iconcine che trovi in corrispondenza degli insegnamenti:
 aggiunta dell'insegnamento rimozione dell'insegnamento selezione della sezione del laboratorio di Architettura
(N.B: la sezione effettiva in cui si dovrà seguire la didattica verrà determinata dopo la presentazione dei Piani di Studio)
-
Nella barra laterale a sinistra è indicato il numero degli insegnamenti inseriti nell'Orario.
Sono inoltre presenti questi comandi:
 Visualizza orario: permette di visualizzare l'orario sinottico settimanale Elimina orario: cancella le selezioni effettuate
Al termine dell'inserimento, puoi stampare il calendario che hai costruito.
| Semestre (Sem) | | 1 | Primo Semestre | | 2 | Secondo Semestre | | A | Insegnamento Annuale | Attività formative | | B | Caratterizzanti | Lingua d'erogazione |  | Insegnamento completamente offerto in lingua italiana |  | Insegnamento completamente offerto in lingua inglese | | -- | Non definita | Didattica innovativa |  | I CFU riportati a fianco a questo simbolo indicano la parte dei CFU dell'insegnamento erogati con Didattica Innovativa.
Tali CFU riguardano:
- Cotutela con mondo esterno
- Blended Learning & Flipped Classroom
- Massive Open Online Courses (MOOC)
- Soft Skills
|
|
|
Anno Accademico
|
2019/2020
|
|
Scuola
|
Scuola di Ingegneria Industriale e dell'Informazione
|
|
Corso di Studi
|
(Mag.)(ord. 270) - MI (481) Computer Science and Engineering - Ingegneria Informatica
|
|
Piano di Studio preventivamente approvato
|
T2A - COMPUTER SCIENCE AND ENGINEERING
|
|
Anno di Corso
|
1
|
|
Codice Identificativo
|
055207
|
|
Denominazione Insegnamento
|
AUTOMATED VERIFICATION AND MONITORING OF TIMED SYSTEMS
|
|
Tipo Insegnamento
|
Monodisciplinare
|
|
Crediti Formativi Universitari (CFU)
|
5.0
|
|
Semestre
|
--
|
|
Programma sintetico
|
The goal of this course is to present the state-of-the-art techniques and tools for the automated formal verification and monitoring of real-time systems, in particular those requiring a continuous notion of time. These techniques are especially useful for the formal analysis of safety-critical embedded and cyber-physical systems. The course provides the theoretical foundations of the formal analysis of real-time systems, and demonstrates some of the state-of-the-art tools in this field.
|
|
Settori Scientifico Disciplinari (SSD)
|
|
Attività formative
|
Codice SSD
|
Descrizione SSD
|
CFU
|
|
B
|
ING-INF/05
|
SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
|
5.0
|
|
| Orario: aggiungi e rimuovi | Scaglione | Docente | Lingua offerta | Programma dettagliato |
|---|
| Da (compreso) | A (escluso) |
|---|
| -- | A | ZZZZ | Bersani Marcello Maria | |  |
|
|
Dettaglio 
Orario didattico