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

Представление с неподвижной точкой. Условия справедливости. Синтез OBDD
Введение в моделирование и верификацию аппаратных и программных систем


Что: Лекция
Когда: Суббота, 03 ноября 2007, 17:25–18:55
Где: ПОМИ РАН
Слайды: verification_lecture_031107.pdf

Материалы