650.080 (24S) Verification and Validation for Artificial Intelligence and Cybersecurity
Überblick
- Lehrende/r
- LV-Titel englisch Verification and Validation for Artificial Intelligence and Cybersecurity
- LV-Art Vorlesung-Kurs (prüfungsimmanente LV )
- LV-Modell Onlinelehrveranstaltung
- Semesterstunde/n 1.0
- ECTS-Anrechnungspunkte 12.0
- Anmeldungen 22 (30 max.)
- Organisationseinheit
- Unterrichtssprache Englisch
- mögliche Sprache/n der Leistungserbringung Englisch
- LV-Beginn 05.03.2024
-
Anmerkungen
Der Kurs wird von Dozierenden der Universität Udine abgehalten und bewertet.
Zeit und Ort
Liste der Termine wird geladen...
LV-Beschreibung
Intendierte Lernergebnisse
Principles of formal methods for program verification.
Lehrmethodik inkl. Einsatz von eLearning-Tools
Lectures
Inhalt/e
Prüfungsinformationen
Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.
Prüfungsmethode/n
Oral exam plus seminar
Prüfungsinhalt/e
Everything
Beurteilungskriterien/-maßstäbe
Thorough understanding and presentation of concepts taught in the course
Beurteilungsschema
Note BenotungsschemaPosition im Curriculum
- Masterstudium Artificial Intelligence and Cybersecurity
(SKZ: 993, Version: 20W.1)
-
Fach: Cybersecurity
(Pflichtfach)
-
3.2 Verification and Validation for Artificial Intelligence and Cybersecurity (
0.0h VC / 12.0 ECTS)
- 650.080 Verification and Validation for Artificial Intelligence and Cybersecurity (1.0h VC / 12.0 ECTS) Absolvierung im 2. Semester empfohlen
-
3.2 Verification and Validation for Artificial Intelligence and Cybersecurity (
0.0h VC / 12.0 ECTS)
-
Fach: Cybersecurity
(Pflichtfach)
Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung
-
Sommersemester 2023
- 650.080 VC Verification and Validation for Artificial Intelligence and Cybersecurity (1.0h / 12.0ECTS)
-
Sommersemester 2022
- 650.080 VC Verification and Validation for Artificial Intelligence and Cybersecurity (6.0h / 12.0ECTS)
-
Sommersemester 2021
- 650.080 VC Verification and Validation for Artificial Intelligence and Cybersecurity (6.0h / 12.0ECTS)