Агапова Татьяна Юрьевна. Построение дискретного плана управления по спецификации в виде LTL-формулы
Агапова Татьяна Юрьевна.pdf — PDF document, 458Kb
Агапова Татьяна Юрьевна. Построение дискретного плана управления по спецификации в виде LTL-формулы
Агапова Татьяна Юрьевна.pdf — PDF document, 458Kb Document Actions |