Theory of safety related computer architectures

Course contents:
Mathematical models of components and systems, functional block and Markov analysis and calculation of given architecture model descriptions, testing and verification processes. 

Place and time:
Fridays, 12:00 pm - 2:00 pm, Room: 2104

First lecture: 27.10.2017

Contact:
Email to the Secretariat

Exam:
Date will be announced

Place and time:
Wednesdays, 12:00 pm - 1:30 pm , Room: 2104

First exercise:
The date will be announced in the first lecture.

Contact:
Email to the Secretariat