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

Разделенная нормальная форма для логики линейного времени LTL: условные обязательства и построение автомата
Введение в моделирование и верификацию аппаратных и программных систем


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

Материалы