Просмотр2014 по теме "Аппаратно-программные комплексы"
Отображаемые элементы 1-2 из 2
-
Диверситетные аксиоматические базисы для разработки безопасных и отказоустойчивых систем
(БелГУТ, 2014)Предложено описание логического основания и общего подхода для проектирования безопасных и отказоустойчивых систем. Введено понятие диверситета аксиоматических базисов. Показано, что разработка аппаратно-программных ... -
Особенности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики
(БелГУТ, 2014)Рассмотрены особенности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики в контексте их влияния на проектирование и верификацию критически важных объектов информатизации. К ...