I&C Energo a. s. organizačná zložka, Tomášikova 30 , Bratislava
Modifikace SW řídicích systémů, vč. bezpečnostních systémů a systémů souvisejících s bezpečností. Nezávislá verifikace a validace SW řídících a bezpečnostních systémů. Ověřování návrhu algoritmů řídicích systémů a jejich verifikace a validace s využitím matematických modelů.