|2||2IMN15||Internet of things||5|
You have to choose at least 20 credit points from this list.
|1,2, 3 or 4||SFC640||Academic Writing in English||5|
|1||2IMN10||Architecture of distributed systems||5|
|2||2IMN25||Quantitative evaluation of ES||5|
|3||2IMD10||Engineering Data-Intensive Systems||5|
|3||2IMF35||Algorithms for model checking||5|
|3||2IMS15||Verification of security protocols||5|
|4||2IMP30||System Design Engineering||5|
|4 or 6||Seminar1||5|
|7 and 8||2IMC00||Master project2||30|
1 It is not necessary to request approval for the choice of a seminar. A seminar may be followed starting from the fourth quarter of the program. For students starting in the first semester, this implies that the seminar may be followed in the second quarter of the second year. In case of the seminar 2IMS00 and 2IMA00, for students starting in the second semester, the seminar may be followed in the fourth quarter of the second year.
2 The student is allowed to start with the graduation project only after the Master’s study program has been approved by the Examination Committee, and when examinations of the homologation study components have been passed.