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