Libri UniversitariApri il catalogo

Formal Methods For Cyber-Physical Systems – prof. Davide Bresolin

Cybersecurity – sede di Padova · Università degli Studi di Padova · esame facoltativo · 6 CFU · canale unico

Libri del canale

Formal Methods For Cyber-Physical Systems 6 CFU

DBProf. Davide Bresolin Canale unico
Rajeev Alur. Principles of Cyber-Physical Systems . MIT,Verificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Martin Zimmermann – Lecture notesVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Libri consigliati nell'a.a. 2025/2026
Principles of cyber-physical systems , Autori: Alur, Rajeev,Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Sistemi ciberfisici: definizione e caratteristiche chiave. Modelli formali per sistemi ciberfisici: modelli sincroni e asincroni, a tempo discreto e real-time. Verifica dei sistemi ciberfisici: proprietà di sicurezza e liveness, model checking, algoritmi enumerativi e tecniche simboliche.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Apri nel catalogo: Cybersecurity – sede di Padova, 2º anno, tutte le materie e i canali ›

Testi d'esame di Formal Methods For Cyber-Physical Systems del prof. Davide Bresolin, canale unico, corso di laurea in Cybersecurity – sede di Padova (Laurea magistrale (LM-66)), Università degli Studi di Padova, esame facoltativo · 6 CFU, a.a. 2026/2027. Libri adottati: Rajeev Alur. Principles of Cyber-Physical Systems . MIT,; Martin Zimmermann – Lecture notes.

Altre materie del prof. Bresolin

Vedi anche: Prof. Davide Bresolin · Formal Methods For Cyber-Physical Systems a Padova (tutti i canali)