Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программСеминар 3. Алгоритмы проверки CTL-формул. ROBDDСеминар 3. Алгоритмы проверки CTL-формул. ROBDD
2020-08-252020-08-25СтудИзба
Семинары: Семинар 3. Алгоритмы проверки CTL-формул. ROBDD
Описание
Описание файла отсутствует
Характеристики семинаров
Тип
Учебное заведение
Просмотров
15
Скачиваний
1
Размер
136,51 Kb