Libri UniversitariApri il catalogo

Libri di Automated Verification Of Cyber-Physical Systems – prof. Igor Melatti

Ingegneria Informatica – sede di L'Aquila · Università degli Studi dell'Aquila · esame facoltativo · Computer Engineering · 6 CFU · canale unico

Libri del canale

Automated Verification Of Cyber-Physical Systems 6 CFU

IMProf. Igor Melatti Canale unico
Edmund – Handbook of Model CheckingVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso è diviso in 6 moduli da svolgere in sequenza, descritti qui di seguito: 1 - Introduzione (8 ore). Introduzione alle metodologie di model checking classico per sistemi a stati finiti. Definizione di cyber-physical system e del problema della verifica della loro correttezza. 2 - Probabilistic model checking (16 ore).

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

Apri nel catalogo: Ingegneria Informatica – sede di L'Aquila, 2º anno, tutte le materie e i canali ›

Testi d'esame di Automated Verification Of Cyber-Physical Systems del prof. Igor Melatti, canale unico, corso di laurea in Ingegneria Informatica – sede di L'Aquila (Laurea magistrale (LM-32)), Università degli Studi dell'Aquila, esame facoltativo · Computer Engineering · 6 CFU, a.a. 2026/2027. Libri adottati: Edmund – Handbook of Model Checking.

Altre materie del prof. Melatti

Vedi anche: Prof. Igor Melatti · Automated Verification Of Cyber-Physical Systems a L'Aquila (tutti i canali)