Algebraic modeling in international and local service logistical systems

• Date: 2021
• Main Authors: Letychevskyi, O.O., Gorbatuk, S.O., Gorbatuk, V.A.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2021
• Subjects: behavior algebra; insertion modeling; formal verification; supply chain; modeldriven development; security properties; UDC 004.05
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/442
• Journal Title: 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...