Browsing 2014 by Subject "Диверситетные аксиоматические базисы"
Now showing items 1-1 of 1
-
Диверситетные аксиоматические базисы для разработки безопасных и отказоустойчивых систем
(БелГУТ, 2014)Предложено описание логического основания и общего подхода для проектирования безопасных и отказоустойчивых систем. Введено понятие диверситета аксиоматических базисов. Показано, что разработка аппаратно-программных ...