Software and Systems for Industries (SSI)
1st year
Compulsory Exams
(24 CFU):
IT Security
(6 CFU)
Embedded Systems: Architecture
(6 CFU)
Internetworking Ubiquitous Systems
(6 CFU)
Distributed Systems
(6 CFU)
Selection in SSI group
(6 CFU):
Distributed Calculus and Coordination - Module I
(6 CFU)
Formal Languages and Compilers
(6 CFU)
Formal Modeling of Software Intensive Systems
(6 CFU)
Networking Discovery (CISCO III-IV)
(6 CFU)
Queuing Network: Simulation
(6 CFU)
Reactive Systems Verification alias Model Checking I
(6 CFU)