![]() |
||||
Средства и методы разработки |
Новая тема Правила Регистрация | Поиск »» Архив |
•Вернуться в конференцию •Топик полностью |
Evgeny_CD (18.05.2018 02:33, файл(ы)) , в ответ на [Формальная верификация ПО] - [PROMELA, SPIN, Cobra] С подачи fk0 ->, которому я сильно признателен за наводку!!! автор: Evgeny_CD
Краткие материалы по LTL, CTL. |
![]() |
Главная |
Карта сайта |
О проекте |
Проекты |
Файлообменник |
Регистрация |
Вебмастер |
RSS
Лето 7527 от сотворения мира. При использовании материалов сайта ссылка на caxapу обязательна.
MMI © MMXIX |