Classification and Contents |
||
| Title | CS4030 Verifikation | |
| Lecturer | Reischuk | |
| Classification | Master-Studiengang Informatik Schwerpunktfach SW Systems Engineering (Wahlbereich) empfohlenenes Fachsemester: 3 Kreditpunkte (ETCS): 4 |
|
| Contents | Qualification |
|
| Prerequisites | CS 4020 Spezifikation und Modellierung | |
| Recommended Books | ||
| Hours | Unterlagen zu einzelnen Themen (Stand 9.3.2010) | |
| Wiki | Wiki of the course »Verifikation« | |
Lecture |
||
| Lecturer | Reischuk | |
| Credits | 2 SWS | |
| Hours | Mon 10:00 – 12:00, ITCS seminar room 2021. | |
Exercises |
||
| Assistent | Elberfeld | |
| Credits | 1 SWS | |
| Hours | ||
