Within CTIT 3 projects have recently been approved:
- NWO Free Competition: McSTORES: Model Checking Stochastic Systems using Rare Event Simulation (DACS/SOR). This is the only FC-project of UT that has been approved
- IOP GENCOM: SeQual: Service Optimization and Quality (DACS)
- IOP GENCOM: U-CARE: User-tailored Care services platform (IS, BSS/RMT and IS&CM)
We wish DACS, SOR, IS, RMT and IS&CM lots of success in carrying out these projects!