High Integrity Systems (HIS)

["Winter semester: Safety-Critical Computer Systems, Advanced Formal Modelling, Introductory Data Analysis, Elective Subjects I: Advanced Real-Time Systems or Machine Learning, Implementation of DBMS, Elective Subjects II: Pattern-Oriented Software Architecture or Quantum Information Science.", "Summer semester: Mathematics Update, Advanced IT-Security, Data Mining, Electives III: Advanced Distributed Systems or Advanced Testing Methods, Electives IV: Human Machine Interface Design or Smart Sensor Network Systems, Electives V: System Theory and Modelling or Transaction Management or Learning from Data", "Master's thesis"]