Algebraic modeling in international and local service logistical systems

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2021
• Випуск: 4
• Сторінки: 88-97
• ISSN: 1727-4907
• Автори та афіліації: O.O. Letychevskyi — Glushkov Institute of Cybernetics NAS of Ukraine; S.O. Gorbatuk — Glushkov Institute of Cybernetics NAS of Ukraine; V.A. Gorbatuk — Glushkov Institute of Cybernetics NAS of Ukraine
• Автори: Letychevskyi, O.O., Gorbatuk, S.O., Gorbatuk, V.A.
• Формат: Стаття
• Мова: Українська
• Опубліковано: PROBLEMS IN PROGRAMMING 2021
• Теми: behavior algebra; insertion modeling; formal verification; supply chain; modeldriven development; security properties; UDC 004.05
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/442
• Назва журналу: Problems in programming

International and internal service logistics are advancing at a tremendous pace in our modern life, and future forecasts for this area are optimistic. For this reason, we face a task in the control, optimization and safety and security checking of complex logistical systems with many internal agents...