Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программ5-6. NuSMV - практические задания по проверке CTL-спецификаций.5-6. NuSMV - практические задания по проверке CTL-спецификаций.
2020-08-252020-08-25СтудИзба
Лекции: 5-6. NuSMV - практические задания по проверке CTL-спецификаций.
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Просмотров
16
Скачиваний
1
Размер
1,55 Mb