Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программСеминар 4. NuSMV_ композиция автоматов_ проверка CTL-формулСеминар 4. NuSMV_ композиция автоматов_ проверка CTL-формул
2020-08-252020-08-25СтудИзба
Семинары: Семинар 4. NuSMV_ композиция автоматов_ проверка CTL-формул
Описание
Описание файла отсутствует
Характеристики семинаров
Тип
Учебное заведение
Просмотров
22
Скачиваний
1
Размер
489,27 Kb