Preview

Моделирование и анализ информационных систем

Расширенный поиск
Полноэкранный режим

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


Гаранина Н.О., Ануреев И.С., Зюбин В.Е., Старолетов С.М., Лях Т.В., Розов А.С., Горлач С.П. Темпоральная логика для программируемых логических контроллеров. Моделирование и анализ информационных систем. 2020;27(4):412-427. https://doi.org/10.18255/1818-1015-2020-4-412-427

For citation:


Garanina N.O., Anureev I.S., Zyubin V.E., Staroletov S.M., Liakh T.V., Rozov A.S., Gorlatch S.P. Temporal Logic for Programmable Logic Controllers. Modeling and Analysis of Information Systems. 2020;27(4):412-427. (In Russ.) https://doi.org/10.18255/1818-1015-2020-4-412-427

Просмотров: 160


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)