Differences

This shows you the differences between two versions of the page.

--- didattica:magistrale:ssi:ay_1819:main [2018/09/19 13:17]
luca
+++ didattica:magistrale:ssi:ay_1819:main [2020/09/17 16:55] (current)
@@ Line 10: / Line 10: @@
   * [[didattica:magistrale:its:ay_1819:main|IT Security: Foundation]] (6 ECTS) - 2nd Semester
 **SSI Selection - Group II** (6 ECTS to be selected among the following ones):
-  * [[didattica:magistrale:flc:ay_1819:main|Formal Languages and Compilers]] (6 CFU)
+  * [[didattica:magistrale:nd:ay_1819:main|Networking Discovery (CISCO III-IV)]] (6 ECTS) 1st and 2nd Semester - this course can be chosen only if it was not selected as free choice during the BSc in Computer Science (Laurea triennale in Informatica)
-  * [[didattica:magistrale:fmsis:ay_1819:main|Formal Modeling of Software Intensive Systems]] (6 CFU)
+  * [[didattica:magistrale:com:ay_1819:main|Compilers]] (6 ECTS) - 1st Semester
-  * [[didattica:magistrale:nd:ay_1819:main|Networking Discovery (CISCO III-IV)]] (6 CFU)
+  * [[didattica:magistrale:qns:ay_1819:main|Queuing Networks: Simulation]] (6 ECTS) - 2nd Semester
-  * [[didattica:magistrale:qns:ay_1819:main|Queuing Network: Simulation]] (6 CFU)
+  * [[didattica:magistrale:svl:ay_1819:main|Systems Verification Lab]] (6 ECTS) - 2nd Semester
 </WRAP>
-**2nd year**  (coorte 2015-2016)
+**2nd year**  (students enrolled in 2017-2018)
 <WRAP center round box 95%>
-**Compulsory Exams** (12 CFU):
+**Compulsory Exams - Group I** (12 ECTS):
-  * [[didattica:magistrale:esp:ay_1819:main|Embedded Systems Programming]] (6 CFU)
+  * [[didattica:magistrale:esp:ay_1819:main|Embedded Systems Programming]] (6 ECTS) - 1st Semester
-  * [[didattica:magistrale:cyps:ay_1819:main|Cyber Physical Systems]] (6 CFU)
+  * [[didattica:magistrale:cyps:ay_1819:main|Cyber Physical Systems]] (6 ECTS) - 1st Semester
 </WRAP>