ant3mc20 мая в 11:04

Введение в микроядро Sel4

Средний

38 мин

8.4K

Информационная безопасность * Операционные системыТерминология ITСистемное администрирование *

Обзор

Перевод

Комментарии 1

firegurafiku 22 мая в 21:21

Формальная модель системы команд处理器

Чем делать перевод для галочки, лучше бы написали про свой опыт формальной верификации или работы с этим микроядром. Вы же, наверное, не просто так именно эту тему решили осветить, а потому-то что она вам чем-то близка.

Зарегистрируйтесь на Хабре, чтобы оставить комментарий