Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программЛекция 5. Model Checking для CTL. BDD - двоичные разрешающие диаграммыЛекция 5. Model Checking для CTL. BDD - двоичные разрешающие диаграммы
2020-08-252020-08-25СтудИзба
Лекции: Лекция 5. Model Checking для CTL. BDD - двоичные разрешающие диаграммы
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Просмотров
20
Скачиваний
1
Размер
588,43 Kb