caxapa.ru :: [OpenComRTOS] -> Книга, которая описывает как была сделана эта RTOS --> на основе системы формальной верификации TLA/TLA+ Бумага внутри.

16+
Среда
26 июня Вход |Карта сайта |Upload | | PARTS
	О смысле всего сущего • 0xFF • Средства и методы разработки • Мобильная и беспроводная связь • Блошиный рынок • Объявления •		•Микроконтроллеры •ARM •AVR •PIC •MSP •PLD,FPGA,DSP •Кибернетика •Технологии •Схемы, платы, компоненты
	Средства и методы разработки

Evgeny_CD (26.05.2018 02:34 - 26.05.2018 02:58, файл(ы), ссылка, ссылка, просмотров: 173)

[OpenComRTOS] -> Книга, которая описывает как была сделана эта RTOS --> на основе системы формальной верификации TLA/TLA+ Бумага внутри.
TLA/TLA+ caxapa.ru/843547.html

Прикреплённые файлы:

419045e3b60d5cf7335a1668885907f24e41.pdf:590 K

Средства и методы разработки