Электронная библиотека БелГУТ: Search

Now showing items 1-4 of 4

Модернизация программного комплекса имитационных испытаний на функциональную безопасность микропроцессорных систем

Харлап, С. Н.; Новомлинец, А. В.; Чаплюк, А. А. (БелГУТ, 2015)

Автоматизация анализа результатов имитационных испытаний микропроцессорных систем на функциональную безопасность

Харлап, С. Н.; Савенок, Д. С. (БелГУТ, 2015)

Разработка отказоустойчивых систем на основе диверситетских аксиоматических базисов

Бочков, К. А.; Харлап, С. Н.; Сивко, Б. В. (БелГУТ, 2015)

Метод взаимной проверки аксиоматических базисов

Харлап, С. Н.; Сивко, Б. В. (БелГУТ, 2015)