Libri UniversitariApri il catalogo

Rajeev Alur. Principles of Cyber-Physical Systems . MIT,

Libro adottato a Padova, a.a. 2026/2027 · 3 canali

«Rajeev Alur. Principles of Cyber-Physical Systems . MIT,» è adottato per Formal Methods For Cyber-Physical Systems dal prof. Davide Bresolin (Computer Science – sede di Padova, Cybersecurity – sede di Padova, International Cybersecurity and Cyberintelligence – sede di Padova – Padova).

Rajeev Alur. Principles of Cyber-Physical Systems . MIT,Cerca su Amazon ›

Come lo indica il docente: Rajeev Alur. Principles of Cyber-Physical Systems . MIT, 2015

Chi lo adotta

Programma e testi di ogni canale

Formal Methods For Cyber-Physical Systems – Prof. Davide Bresolin Canale unico

Corso di laurea: Computer Science – sede di Padova · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Padova · Dipartimento di Matematica "Tullio Levi-Civita" - DM · 6 CFU · apri nel catalogo · Computer Science – sede di Padova · 1º anno · 1º semestre ›

Rajeev Alur. Principles of Cyber-Physical Systems . MIT,questo libroCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Martin Zimmermann – Lecture notesCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
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.

Formal Methods For Cyber-Physical Systems – Prof. Davide Bresolin Canale unico

Corso di laurea: Cybersecurity – sede di Padova · Laurea magistrale (LM-66) · esame facoltativo · 6 CFU

Padova · Dipartimento di Matematica "Tullio Levi-Civita" - DM · 6 CFU · apri nel catalogo · Cybersecurity – sede di Padova · 2º anno · 1º semestre ›

Rajeev Alur. Principles of Cyber-Physical Systems . MIT,questo libroCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Martin Zimmermann – Lecture notesCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
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.

Formal Methods For Cyber-Physical Systems – Prof. Davide Bresolin Canale unico

Corso di laurea: International Cybersecurity and Cyberintelligence – sede di Padova · Laurea magistrale (LM-66) · esame facoltativo · 6 CFU

Padova · Dipartimento di Matematica "Tullio Levi-Civita" - DM · 6 CFU · apri nel catalogo · International Cybersecurity and Cyberintelligence – sede di Padova · 1º anno · 1º semestre ›

Rajeev Alur. Principles of Cyber-Physical Systems . MIT,questo libroCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Martin Zimmermann – Lecture notesCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
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.

Si studia insieme a