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

Evgeny_CD, Архитектор (26.05.2018 02:34 - 02:58, просмотров: 400)

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