Персональные инструменты
Вы здесь: Главная Курсовые работы Осень 2015 Магистры, 564 группа Агапова Татьяна Юрьевна. Построение дискретного плана управления по спецификации в виде LTL-формулы

Агапова Татьяна Юрьевна. Построение дискретного плана управления по спецификации в виде LTL-формулы

Агапова Татьяна Юрьевна.pdf — PDF document, 458Kb

Действия с Документом