Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программ8-9. SPIN - практические задания по проверке LTL-спецификаций8-9. SPIN - практические задания по проверке LTL-спецификаций
2020-08-252020-08-25СтудИзба
Лекции: 8-9. SPIN - практические задания по проверке LTL-спецификаций
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Просмотров
20
Скачиваний
2
Размер
182,43 Kb