ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Четверг
25 апреля
О смысле всего сущего0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынокОбъявления
МикроконтроллерыPLD, FPGA, DSP AVRPICARM, RISC-VТехнологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты
841669 Топик полностью
Evgeny_CD, Архитектор (18.05.2018 02:44, просмотров: 167) ответил Evgeny_CD на [Формальная верификация ПО] - [PROMELA, SPIN, Cobra] С подачи fk0 ->, которому я сильно признателен за наводку!!!
temporal logic упоминалось в книге, которую я нашел в 2007 году -> Только я нихера не понял, что это за зверь такой http://caxapa.ru/106209.html
Ответить