16+
Четверг
20 июня Вход |Карта сайта |Upload |codebook | PARTS

 О смысле всего сущего• 0xFF•

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

 Мобильная и беспроводная связь•

 Блошиный рынок• Объявления•

 caxapa

•Микроконтроллеры •ARM 

•AVR •PIC •MSP •PLD,FPGA,DSP 

•Кибернетика •Технологии 

•Схемы, платы, компоненты 

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

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