16+
Четверг
15 ноября
Вход |Карта сайта | |Upload |codebook | PARTS

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

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

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

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

caxapa

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

AVR PIC MSP PLD,FPGA,DSP 

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

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

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

 
   Новая тема Правила Регистрация Поиск »» Архив
Вернуться в конференциюТопик полностью
Evgeny_CD  (26.05.2018 02:31 - 26.05.2018 02:34, ссылка, ссылка, просмотров: 90)
[Книга] Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems. Книга про OpenComRTOS ->, которая полностью спроектирована на основе формальной верификации при помощи TLA --> 
title = {Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems}, author = {Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev (auth.)}, publisher = {Springer US}, isbn = {1441997350,9781441997357}, year = {2011}, edition = {1}, Ищем понятно где s3.pdf
Главная | Карта сайта | О проекте | Проекты | Файлообменник | Регистрация | Вебмастер | RSS
Лето 7527 от сотворения мира. При использовании материалов сайта ссылка на caxapу обязательна.
MMI © MMXVIII