Differences

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

Link to this comparison view

Next revision
Previous revision
didattica:magistrale:ssi:ay_1617:main [2016/09/07 18:46]
127.0.0.1 external edit
didattica:magistrale:ssi:ay_1617:main [2020/09/17 16:55] (current)
Line 8: Line 8:
   * [[didattica:​magistrale:​ius:​ay_1617:​main|Internetworking Ubiquitous Systems]] (6 CFU)   * [[didattica:​magistrale:​ius:​ay_1617:​main|Internetworking Ubiquitous Systems]] (6 CFU)
   * [[didattica:​magistrale:​ds:​ay_1617:​main|Distributed Systems]] (6 CFU)   * [[didattica:​magistrale:​ds:​ay_1617:​main|Distributed Systems]] (6 CFU)
-**Selection in SSI group** (6 CFU): +**Selection in SSI group** (6 CFU to be selected among the following ones):
-  * [[didattica:​magistrale:​dcc:​ay_1617:​main|Distributed Calculus and Coordination - Module I]] (6 CFU)+
   * [[didattica:​magistrale:​flc:​ay_1617:​main|Formal Languages and Compilers]] (6 CFU)   * [[didattica:​magistrale:​flc:​ay_1617:​main|Formal Languages and Compilers]] (6 CFU)
   * [[didattica:​magistrale:​fmsis:​ay_1617:​main|Formal Modeling of Software Intensive Systems]] (6 CFU)   * [[didattica:​magistrale:​fmsis:​ay_1617:​main|Formal Modeling of Software Intensive Systems]] (6 CFU)
   * [[didattica:​magistrale:​nd:​ay_1617:​main|Networking Discovery (CISCO III-IV)]] (6 CFU)   * [[didattica:​magistrale:​nd:​ay_1617:​main|Networking Discovery (CISCO III-IV)]] (6 CFU)
   * [[didattica:​magistrale:​qns:​ay_1617:​main|Queuing Network: Simulation]] (6 CFU)   * [[didattica:​magistrale:​qns:​ay_1617:​main|Queuing Network: Simulation]] (6 CFU)
-  * [[didattica:​magistrale:​rsv:​ay_1617:​main|Reactive Systems Verification alias Model Checking I ]] (6 CFU) 
 </​WRAP>​ </​WRAP>​
 +
 +**2nd year** ​ (coorte 2015-2016)
 +<WRAP center round box 95%>
 +**Compulsory Exams** (12 CFU):
 +  * [[didattica:​magistrale:​esp:​ay_1617:​main|Embedded Systems Programming]] (6 CFU)
 +  * [[didattica:​magistrale:​cyps:​ay_1617:​main|Cyber Physical Systems]] (6 CFU)
 +</​WRAP>​
 +