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, 02:00 pm - 06:00 pm, Room: 1114

Contact:

Email to the Secretariat

Exam:
Date will be announced