[PDF][PDF] LTL-specification for development and verification of logical control programs in feedback systems
MV Neyzov, EV Kuzmin - Modelirovanie i Analiz Informatsionnykh …, 2024 - mais-journal.ru
The article continues the series of publications on the development and verification of
control programs based on LTL-specifications of a special type. Earlier, a declarative LTL …
control programs based on LTL-specifications of a special type. Earlier, a declarative LTL …
LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью
МВ Нейзов, ЕВ Кузьмин - Моделирование и анализ …, 2024 - mathnet.ru
Статья продолжает цикл публикаций по разработке и верификации управляющих
программ на основе LTL-спецификаций специального вида. Ранее для описания строго …
программ на основе LTL-спецификаций специального вида. Ранее для описания строго …
[PDF][PDF] Demonstratoren im Industrie 4.0-Kontext
Industrie 4.0 bringt neben vielen Potenzialen auch eine erhebliche Komplexitätssteigerung
mit sich. Um dieser effektiv zu begegnen, bieten Demonstratoren einen wertstiftenden …
mit sich. Um dieser effektiv zu begegnen, bieten Demonstratoren einen wertstiftenden …