Вход
Наше всё
Теги
codebook
无线电组件
Поиск
Опросы
Закон
Пятница
14 марта
О смысле всего сущего
0xFF
Средства и методы разработки
Мобильная и беспроводная связь
Блошиный рынок
Объявления
Микроконтроллеры
PLD, FPGA, DSP
AVR
PIC
ARM, RISC-V
Технологии
Кибернетика, автоматика, протоколы
Схемы, платы, компоненты
Средства и методы разработки
652471
Топик полностью
LightElf
(12.02.2016 10:56, просмотров: 235)
ответил
Evgeny_CD
на
Ой. eChronos project builds and formally verifies, a small, versatile, high-assurance real-time operating system (OS) for embedded micro-controllers -> •Formal functional specification (completed) Какой-то разрыв шаблона.
Не понял, что удивляет-то?
Не надо делать мне как лучше, оставьте мне как хорошо
Ответить