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