ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Пятница
29 марта
841666 Топик полностью
Evgeny_CD, Архитектор (18.05.2018 02:33, просмотров: 166) ответил Evgeny_CD на [Формальная верификация ПО] - [PROMELA, SPIN, Cobra] С подачи fk0 ->, которому я сильно признателен за наводку!!!
Краткие материалы по LTL, CTL.