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