Харківський національний університет Повітряних Сил імені Івана Кожедуба

Анотация: Розроблено клас моделей систем контролю та управління, які дозволяють урахувати особливості багатоверсійних відмовобезпечних систем. Моделі базуються на комплексному застосуванні математичного апарату графів переходів та комбінаторних подійних моделей