Системы критически важных для безопасности – подход AdaCore на Embedded World 202520просмотровгод назад
Начинаем с RP2040-RP2350 PICO - Учебник по программированию для начинающих - CircuitPython670просмотровгод назад
Программирование МК на языке Ada - часть 5 Без Alire библиотека RealTime для STM32H503cbt53просмотрагод назад
Def Con 30 - Адам Забреки - Алекс Терешкин - Эксплуатация в эпоху формальной проверки31просмотргод назад
