====== Software and Systems for Industries (SSI) ====== **1st year** **Compulsory Exams** (24 CFU): * [[didattica:magistrale:its:ay_1516:main|IT Security]] (6 CFU) * [[didattica:magistrale:esa:ay_1516:main|Embedded Systems: Architecture]] (6 CFU) * [[didattica:magistrale:ius:ay_1516:main|Internetworking Ubiquitous Systems]] (6 CFU) * [[didattica:magistrale:ds:ay_1516:main|Distributed Systems]] (6 CFU) **Selection in SSI group** (6 CFU): * [[didattica:magistrale:dcc:ay_1516:main|Distributed Calculus and Coordination - Module I]] (6 CFU) * [[didattica:magistrale:flc:ay_1516:main|Formal Languages and Compilers]] (6 CFU) * [[didattica:magistrale:fmsis:ay_1516:main|Formal Modeling of Software Intensive Systems]] (6 CFU) * [[didattica:magistrale:nd:ay_1516:main|Networking Discovery (CISCO III-IV)]] (6 CFU) * [[didattica:magistrale:qns:ay_1516:main|Queuing Network: Simulation]] (6 CFU) * [[didattica:magistrale:rsv:ay_1516:main|Reactive Systems Verification alias Model Checking I ]] (6 CFU)