16+
Суббота
17 ноября
Вход |Карта сайта | |Upload |codebook | PARTS

 О смысле всего сущего 0xFF

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

 Мобильная и беспроводная связь

 Блошиный рынок Объявления

caxapa

Микроконтроллеры ARM 

AVR PIC MSP PLD,FPGA,DSP 

Кибернетика Технологии 

Схемы, платы, компоненты 

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

 
   Новая тема Правила Регистрация Поиск »» Архив
Вернуться в конференциюТопик полностью
Evgeny_CD  (26.05.2018 02:34 - 26.05.2018 02:58, файл(ы), ссылка, ссылка, просмотров: 118)
[OpenComRTOS] -> Книга, которая описывает как была сделана эта RTOS --> на основе системы формальной верификации TLA/TLA+ Бумага внутри. 
TLA/TLA+ caxapa.ru/843547.html
Прикреплённые файлы:
10p-deJong-artistws_20070701_opencomrtos.pdf:167 K
419045e3b60d5cf7335a1668885907f24e41.pdf:590 K
OpenComRTOS_modelling_with_OWL-DL.pdf:548 K
Session_3_OpenComRTOS_Demos.pdf:3525 K

Главная | Карта сайта | О проекте | Проекты | Файлообменник | Регистрация | Вебмастер | RSS
Лето 7527 от сотворения мира. При использовании материалов сайта ссылка на caxapу обязательна.
MMI © MMXVIII