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

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


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

Материалы