print

Course list

Period: 2023Fall

Track type	Track	Semester	Cursus	Teaching Unit	Course
Master	MASTER INTERNET OF THINGS [dnm-iot]	s9	24	Scientific and technical opening 3 [DnmIOT-S9-Open3] ECTS: 5.00	Emulation and simulation methodologies [EmSim] Weight: 0.50 Credits for track: 2.50
Post Master Degree	Post Master Degree in Security for Computer and communication systems [spe-sec]	s11		Opening 1 [PM-Open_1] ECTS: 5.00	Emulation and simulation methodologies [EmSim] Weight: 0.50 Credits for track: 2.50

Period: 2024Spring

Track type	Track	Semester	Cursus	Teaching Unit	Course
Post Master Degree	Post Master Degree in Security for Computer and communication systems [spe-sec]	s12		Opening 2 [PM-Open_2] ECTS: 5.00	FormalMethods-Formal specification and verification of systems [FormalMet] Weight: 0.50 Credits for track: 2.50
Post Master Degree	Post Master Degree in Security for Computer and communication systems [spe-sec]	s12		Application context of security _II [PM-App2] ECTS: 7.50	FormalMethods-Formal specification and verification of systems [FormalMet] Weight: 0.34 Credits for track: 2.50