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

Stand der importierten Daten ("mein campus"-Datenabzug): 09.03.2020 16:02

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) | Masterprüfung | Wahlpflichtbereich Informatik | Verifikation digitaler Systeme)
2. 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)
3. 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)
4. 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)
5. 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)
6. 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)
7. Informatik (Bachelor of Science)
   (Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Hardware-Software-Co-Design | Verifikation digitaler Systeme)
8. Informatik (Master of Science)
   (Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Wahlpflichtbereich | Säule der systemorientierten Vertiefungsrichtungen | Vertiefungsrichtung Hardware-Software-Co-Design | Verifikation digitaler Systeme)
9. 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)
10. Mathematik (Bachelor of Science)
    (Po-Vers. 2019w | NatFak | Mathematik (Bachelor of Science) | Gesamtkonto | 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 2019/2020):

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

UnivIS-Module im kommenden Semester (SS 2020):

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

UnivIS-Module im vergangenen Semester (SS 2019):

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