Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программЛекция 10. Временные автоматы. Регионная модель Крипке. Сведение МС к TCTL и CTLЛекция 10. Временные автоматы. Регионная модель Крипке. Сведение МС к TCTL и CTL
2020-08-252020-08-25СтудИзба
Лекции: Лекция 10. Временные автоматы. Регионная модель Крипке. Сведение МС к TCTL и CTL
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Просмотров
16
Скачиваний
1
Размер
333,78 Kb