Libri UniversitariApri il catalogo

Safety

Libro adottato a Udine, a.a. 2026/2027 · 2 canali

«Safety» è adottato per Verification And Validation Techniques in Ai And Cybersecurity dal prof. Luca Geatti (Artificial Intelligence & Cybersecurity – sede di Udine – Udine); per Verifica Automatica dei Sistemi: Teoria e Applicazioni dal prof. Luca Geatti (Informatica – sede di Udine, Sede di UDINE – Udine).

SafetyCerca su Amazon ›

Come lo indica il docente: safety. Springer Science & Business Media, 2012

Chi lo adotta

Programma e testi di ogni canale

Verification And Validation Techniques in Ai And Cybersecurity – Prof. Luca Geatti Canale unico

Corso di laurea: Artificial Intelligence & Cybersecurity – sede di Udine · Laurea magistrale (LM-18) · 1º anno · annuale · 12 CFU

Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · 12 CFU · apri nel catalogo · Artificial Intelligence & Cybersecurity – sede di Udine · 1º anno ›

Safetyquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
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.

Verifica Automatica dei Sistemi: Teoria e Applicazioni – Prof. Luca Geatti Canale unico

Corso di laurea: Informatica – sede di Udine, Sede di UDINE · Laurea magistrale (LM-18) · 1º anno · annuale · 9 CFU

Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · 9 CFU · apri nel catalogo · Informatica – sede di Udine, Sede di UDINE · 1º anno ›

Safetyquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
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.