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