Verification of Embedded Systems
The content on this page was translated automatically.
| Module name | Verification of Embedded Systems |
|---|---|
| Type of module | Selectable mandatory module |
| Learning outcomes, competencies, qualification goals | The student is able to:
Learning results with regard to the objectives of the course of study:
|
| Types of courses | 4 SWS (semester periods per week): 3 SWS lecture 1 SWS exercise |
| Course contents |
|
| Teaching and learning methods (forms of teaching and learning) | Lecture, presentation, learning by teaching, self-regulated learning, problem-based learning |
| Frequency of the module offering | Winter term |
| Language | English |
| Requirements for the participation in the module | Prerequisites according to examination regulations |
| Student workload | 180 h: 60 h attendance studies 120 h personal studies |
| Academic performances | None |
| Precondition for the admission to the examination performance | None |
| Examination performance | Written examination (90 min.) |
| Number of credits of the module | 6 credits |
| In charge of the module | Prof. Dr. Kreiker |
| Teacher of the module | Prof. Dr. Kreiker and co-workers |
| Forms of media | Projector, black board, piece of paper |
| Literature references |
|