ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Пятница
9 мая
982294 Топик полностью
Evgeny_CDАрхитектор (28.02.2020 01:22, просмотров: 183) ответил OlegPowerC на Вот проект на ADA например (STM32)
Ничего себе! Интересно, насколько больше кода надо писать для реализации в будущем формальной верификации?