Personal tools
You are here: Home → Курсовые работы → Осень 2015 → Магистры, 564 группа → Агапова Татьяна Юрьевна. Построение дискретного плана управления по спецификации в виде LTL-формулы

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

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

Document Actions