Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Двоичные разрешающие диаграммы (BDD). Символьная проверка моделей
Введение в моделирование и верификацию аппаратных и программных систем


Что: Лекция
Когда: Воскресенье, 21 октября 2007, 20:30–22:00
Где: ПОМИ РАН
Слайды: verification_lecture_211007.pdf

Материалы