Differences
This shows you the differences between two versions of the page.
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> | ||
+ | |||