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