Для цитирования:

Гаранина Н.О., Старолетов С.М., Зюбин В.Е., Ануреев И.С. Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3. Моделирование и анализ информационных систем. 2024;31(1):32-53. https://doi.org/10.18255/1818-1015-2024-1-32-53

For citation:

Garanina N.O., Staroletov S.M., Zyubin V.E., Anureev I.S. Model checking programs in process-oriented IEC 61131-3 Structured Text. Modeling and Analysis of Information Systems. 2024;31(1):32-53. (In Russ.) https://doi.org/10.18255/1818-1015-2024-1-32-53