Software Modeling and Verification (SMV)
1st year
Compulsory Exams (24 CFU):
Selection in SMV group (6 CFU):
- Distributed Systems (6 CFU)
- Formal Languages and Compilers (6 CFU)
- IT Security (6 CFU)
- Queuing Network: Simulation (6 CFU)
didattica:magistrale:smv:ay_1516:main
1st year
Compulsory Exams (24 CFU):
Selection in SMV group (6 CFU):