Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программСеминар 2. Модели Крипке. CTL_ LTL. Безопасность_ живость_ справедливостьСеминар 2. Модели Крипке. CTL_ LTL. Безопасность_ живость_ справедливость
2020-08-252020-08-25СтудИзба
Семинары: Семинар 2. Модели Крипке. CTL_ LTL. Безопасность_ живость_ справедливость
Описание
Описание файла отсутствует
Характеристики семинаров
Тип
Учебное заведение
Просмотров
24
Скачиваний
1
Размер
187,84 Kb