Fall semester   


	
CMES (Computational models for embedded systems) - Master SI and SDI - link 
	
ATST (Advanced Topics in Software Testing) - Master - SI and SDI  and BD - link



Spring semester   

	
SSVV - Software Systems Verification and Validation (eng) - link 
	
PBT - Preparation of Bachelor Thesis (eng) - link 
	
Tutoriat Group 931 - link 
	
Master - Practica in specialitate - link