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