Verifikation digitaler Systeme (Prüfungsordnungsmodul)5 ECTS
(englische Bezeichnung: Verifikation digitaler Systeme)

Stand der importierten Daten ("mein campus"-Datenabzug): 22.03.2022 12:01

Zuordnung zu Studiengängen, Validierung, Einpassung in die Musterstudienpläne:

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:einblenden

1. 123#67#H
   (Po-Vers. 2008 | TechFak | Computational Engineering (Master of Science with Honours) | Gesamtkonto | Wahlpflichtbereich Informatik | Verifikation digitaler Systeme)
2. Artificial Intelligence (Master of Science)
   (Po-Vers. 2021s | TechFak | Artificial Intelligence (Master of Science) | Gesamtkonto | Wahlpflichtmodulbereich | Symbolic Artificial Intelligence | Verifikation digitaler Systeme)
3. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science)
   (Po-Vers. 2007 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science) | alte Prüfungsordnungen | Gesamtkonto | Technische Wahlmodule | Verifikation digitaler Systeme)
4. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science)
   (Po-Vers. 2009 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science) | alte Prüfungsordnungen | Gesamtkonto | Technische Wahlmodule | Verifikation digitaler Systeme)
5. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science)
   (Po-Vers. 2010 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science) | Gesamtkonto | Technische Wahlmodule | Verifikation digitaler Systeme)
6. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science)
   (Po-Vers. 2008 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science) | Gesamtkonto | Wahlpflichtbereich Informatik | Verifikation digitaler Systeme)
7. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2010 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Hardware-Software-Co-Design | Verifikation digitaler Systeme)
8. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsrichtung Hardware-Software-Co-Design | Verifikation digitaler Systeme)
9. Informatik (Bachelor of Science)
   (Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Hardware-Software-Co-Design | Verifikation digitaler Systeme)
10. Informatik (Bachelor of Science)
    (Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Hardware-Software-Co-Design | Verifikation digitaler Systeme)
11. Informatik (Master of Science)
    (Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Gesamtkonto | Wahlpflichtbereich | Säule der systemorientierten Vertiefungsrichtungen | Vertiefungsrichtung Hardware-Software-Co-Design | Verifikation digitaler Systeme)
12. Information and Communication Technology (Master of Science)
    (Po-Vers. 2019s | TechFak | Information and Communication Technology (Master of Science) | Gesamtkonto | Wahlmodule | Wahlmodule aus dem Angebot von EEI und Informatik | Verifikation digitaler Systeme)
13. Informations- und Kommunikationstechnik (Master of Science)
    (Po-Vers. 2010 | TechFak | Informations- und Kommunikationstechnik (Master of Science) | Gesamtkonto | Wahlbereiche, Praktika, Seminar, Masterarbeit | Wahlmodule aus dem Angebot von EEI und Informatik | Verifikation digitaler Systeme)
14. Informations- und Kommunikationstechnik (Master of Science)
    (Po-Vers. 2016s | TechFak | Informations- und Kommunikationstechnik (Master of Science) | Gesamtkonto | Wahlbereiche, Praktika, Seminar, Masterarbeit | Wahlmodule aus dem Angebot von EEI und Informatik | Verifikation digitaler Systeme)
15. Mathematik (Bachelor of Science)
    (Po-Vers. | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Hardware-Software-Co-Design | Verifikation digitaler Systeme)
16. Mathematik (Bachelor of Science)
    (Po-Vers. 2019w | NatFak | Mathematik (Bachelor of Science) | weitere Module der Bachelorprüfung | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Hardware-Software-Co-Design | Verifikation digitaler Systeme)

Studien-/Prüfungsleistungen:

Verifikation digitaler Systeme (Prüfungsnummer: 22801)
(englische Bezeichnung: Digital systems verification)

Prüfungsleistung, mündliche Prüfung, Drittelnoten (mit 4,3), 5 Leistungspunkte

Anteil an der Berechnung der Modulnote: 100.0 %

pordnr: 20130, pmaxver: 3, pmaxvbe: 1

UnivIS-Module:

UnivIS-Module im aktuellen Semester (WS 2021/2022):

• Verifikation digitaler Systeme (5 ECTS, Keszöcze, O.)

UnivIS-Module im kommenden Semester (SS 2022):

• Verifikation digitaler Systeme (5 ECTS, Keszöcze, O.)

UnivIS-Module im vergangenen Semester (SS 2021):

• Verifikation digitaler Systeme (5 ECTS, Keszöcze, O.)