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

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

Альтернативное название:
Муха Артем Андреевич Модели, методы и технические средства создания гарантоспособных управляющих компьютерных систем критического назначения с двухканальной структурой обработки данных Mukha Artem Andriyovych Models, methods and technical means of creation of guaranteeing control computer systems of critical purpose with two-channel structure of data processing

brief description:
Муха Артем Андрійович, науковий співробітник відділу інтегрованих автоматизованих системи спеціального призначення, Інститут проблем математичних машин і систем НАН України. Назва дисертації: «Моделі, методи та технічні засоби створення гарантоздатних керуючих комп’ютерних систем критичного призначення з двоканальною структурою обробки даних». Шифр та назва спеціальності 05.13.06 інформаційні технології. Спецрада Д 26.204.01 Інституту проблем математичних машин і систем