Evgeny_CD, Архитектор (26.05.2018 02:31 - 02:34, просмотров: 300)[Книга] Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems. Книга про OpenComRTOS ->, которая полностью спроектирована на основе формальной верификации при помощи TLA --> http://caxapa.ru/843547.html
http://caxapa.ru/843549.html
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
http://caxapa.ru/843549.html
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