Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программЛекция 7. Верификация LTL. Автоматы БюхиЛекция 7. Верификация LTL. Автоматы Бюхи
2020-08-252020-08-25СтудИзба
Лекции: Лекция 7. Верификация LTL. Автоматы Бюхи
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Просмотров
31
Скачиваний
2
Размер
318,51 Kb