Форма пошуку
Назад
укр
рус
eng
Cписок
Василенко Т.В.
Создание функционально безопасных программных систем на основе виртуальных машин
Вид документа:
Складова частина документа
Автор:
Василенко Т.В.
Вид автора:
персона
Мова:
Російська
Обсяг:
C. 77-81
УДК:
004.031.43
Аннотацiя:
Рассмотрена существующая проблема обеспечения функциональной безопасности программного обеспечения. Приведен обзор нормативных документов, которые регламентируют функциональную безопасность программных средств. Рассмотрены возможности построения функционально безопасных программных систем на основе виртуальных машин.
Переглянути електронну копію
Є складовою частиною документа:
Радіоелектронні і комп'ютерні системи
Відомості щодо головного
Вид автора головного документа
:
Персона
Назва головного документа
:
Радіоелектронні і комп'ютерні системи
Дата видання головного документа
:
2007
Номер частини головного документа
:
1
Загальна інформація
Бібліографія
:
9 назв.
Теми документа:
УДК/UDC/ 0 Загальний відділ/Общий отдел/Science and knowledge/ 00 Загальні питання науки і культури/Общие вопросы науки культуры/Prolegomena. Fundamentals of knowledge and culture. Propaedeutics/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/Информационные технологии. Вычислительная техника. Обработка данных/Computer science and technology. Computing. Data processing/ 004.03 Типи і характеристики систем/Типи и характеристики систем/System types and characteristics/ 004.031 Типи систем/Типы систем/Types of systems/ 004.031.4 Неавтономні системи/Неавтономные системы/Nonautonomous system/ 004.031.43 Системи реального часу. Системи обробки транзакцій/Системы реального времени. Системы обработки транзакций/Real-time systems. Transaction processing systems
Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ В/ Василенко Т.В.
Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ