caxapa.ru :: Краткие материалы по LTL, CTL.

16+
Вторник
19 февраля Вход |Карта сайта | |Upload | | PARTS
	О смысле всего сущего • 0xFF • Средства и методы разработки • Мобильная и беспроводная связь • Блошиный рынок • Объявления •		•Микроконтроллеры •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