Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision 		Previous revision
didattica:magistrale:ssi:ay_1617:main [2016/09/07 19:55]
mescal 		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) **2nd year** ​ (coorte 2015-2016)
 <WRAP center round box 95%> <WRAP center round box 95%>
-**Compulsory Exams** (24 CFU):+**Compulsory Exams** (12 CFU):
   * [[didattica:​magistrale:​esp:​ay_1617:​main|Embedded Systems Programming]] (6 CFU)   * [[didattica:​magistrale:​esp:​ay_1617:​main|Embedded Systems Programming]] (6 CFU)
   * [[didattica:​magistrale:​cyps:​ay_1617:​main|Cyber Physical Systems]] (6 CFU)   * [[didattica:​magistrale:​cyps:​ay_1617:​main|Cyber Physical Systems]] (6 CFU)