Formalne metode v razvoju telekomunikacijskih sistemov (Slovene)

L – applied research project
J – basic research project
M – CRP Mir
V – target research project
Z – postdoctoral research project
N – European (ERC Complementary Scheme, Lead Agency)
H – European research project (ERA projects)
R – development research project
T – natural and cultural heritage project
NI – bilateral research projects (cooperation with Israel)
NC – bilateral research projects (cooperation with CEA)
NK – bilateral research projects (cooperation with China)

ARIS research (P) and infrastructure (I) programmes are carried out by research organizations; \nARIS carries out the evaluation, monitoring and (co-)financing of research and infrastructure programmes.