Просмотр 2015 по автору "Харлап, С. Н."
Отображаемые элементы 1-4 из 4
-
Автоматизация анализа результатов имитационных испытаний микропроцессорных систем на функциональную безопасность
Харлап, С. Н.; Савенок, Д. С. (БелГУТ, 2015) -
Метод взаимной проверки аксиоматических базисов
Харлап, С. Н.; Сивко, Б. В. (БелГУТ, 2015) -
Модернизация программного комплекса имитационных испытаний на функциональную безопасность микропроцессорных систем
Харлап, С. Н.; Новомлинец, А. В.; Чаплюк, А. А. (БелГУТ, 2015) -
Разработка отказоустойчивых систем на основе диверситетских аксиоматических базисов
Бочков, К. А.; Харлап, С. Н.; Сивко, Б. В. (БелГУТ, 2015)