Вход Наше всё Теги codebook 无线电组件 Поиск Опросы Закон Среда
2 апреля

О смысле всего сущего 0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынок Объявления

Микроконтроллеры PLD, FPGA, DSP AVR PIC ARM, RISC-V Технологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты

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

841669 Топик полностью

Evgeny_CD^{Архитектор} (18.05.2018 02:44, просмотров: 214) ответил Evgeny_CD на [Формальная верификация ПО] - [PROMELA, SPIN, Cobra] С подачи fk0 ->, которому я сильно признателен за наводку!!!

temporal logic упоминалось в книге, которую я нашел в 2007 году -> Только я нихера не понял, что это за зверь такой http://caxapa.ru/106209.html

Ответить