Tipy pre vyhľadávanie: Okna, Nábytok, Náhradné diely
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ů.