ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Среда
2 апреля
О смысле всего сущего0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынокОбъявления
МикроконтроллерыPLD, FPGA, DSP AVRPICARM, RISC-VТехнологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты
841666 Топик полностью
Evgeny_CDАрхитектор (18.05.2018 02:33, просмотров: 226) ответил Evgeny_CD на [Формальная верификация ПО] - [PROMELA, SPIN, Cobra] С подачи fk0 ->, которому я сильно признателен за наводку!!!
Краткие материалы по LTL, CTL. 
2004ltl.pdf isical97.pdf slide4.pdf slide3.pdf
Ответить