LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью
МВ Нейзов, ЕВ Кузьмин - Моделирование и анализ …, 2024 - mathnet.ru
Статья продолжает цикл публикаций по разработке и верификации управляющих
программ на основе LTL-спецификаций специального вида. Ранее для описания строго …
программ на основе LTL-спецификаций специального вида. Ранее для описания строго …