Verifica Automatica dei Sistemi: Teoria e Applicazioni – prof. Luca Geatti

Informatica – sede di Udine, Sede di UDINE · Università degli Studi di Udine · 1º anno · annuale · 9 CFU · canale unico

Libri del canale

Verifica Automatica dei Sistemi: Teoria e Applicazioni 9 CFU

LGProf. Luca Geatti Canale unico

Il docente indica 1 testo

SafetyVerificato sulla scheda ufficiale il 03/10/2026

Cerca su Amazon ›

Bacheca del docente: cosa indica di studiare

Note e slides del docente.

Argomenti del programma: Il corso offre una trattazione sistematica dei metodi, dei formalismi e degli algoritmi per la specifica formale e la verifica automatica di sistemi reattivi complessi, con applicazioni in intelligenza artificiale (sintesi, pianificazione e apprendimento) e cybersecurity.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Apri nel catalogo: Informatica – sede di Udine, Sede di UDINE, 1º anno, tutte le materie e i canali ›

Testi d'esame di Verifica Automatica dei Sistemi: Teoria e Applicazioni del prof. Luca Geatti, canale unico, corso di laurea in Informatica – sede di Udine, Sede di UDINE (Laurea magistrale (LM-18)), Università degli Studi di Udine, 1º anno · annuale · 9 CFU, a.a. 2026/2027. Libri adottati: Safety.

Altre materie del prof. Geatti

Verification And Validation Techniques in Ai And Cybersecurity · Artificial Intelligence & Cybersecurity – sede di Udine · 1º anno · annuale · 12 CFU

Vedi anche: Prof. Luca Geatti · Verifica Automatica dei Sistemi: Teoria e Applicazioni a Udine (tutti i canali)