CMES (Computational models for embedded systems) - Master SI and SDI link 


 


 


PBT (Preparation of Bachelor Thesis) - Info. enf. link 


 


SSVV (Software Systems Verification and Validation) - Info. enf. link