ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Понедельник
21 апреля
О смысле всего сущего0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынокОбъявления
МикроконтроллерыPLD, FPGA, DSP AVRPICARM, RISC-VТехнологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты
1269575 Топик полностью
Evgeny_CDАрхитектор (20.12.2022 23:18, просмотров: 105) ответил Evgeny_CD на [Зачем стековые процессоры в embedded?] Пояснение к топику ->
Отдельная задача - формальная верификация. Тут нам в помощь темпоральная логика и решатели теорем. 
Ответить