UDC 004.05 1 behavior algebra 1 formal verification 1 insertion modeling 1 modeldriven development 1 network optimization modeling 1 network organizational structures 1 optimization methods and models in Excel 1 security properties 1 spreadsheet modeling 1 supply chain 1 supply chains 1 transport logistics 1 УДК 004.05 1 алгебра поведінок 1 властивості безпеки 1 електронно-табличне моделювання 1 ланцюги постачання 1 ланцюжок постачання 1 мережеве оптимізаційне моделювання 1 мережеві організаційні структури 1 модельно-орієнтовані розробки 1 оптимізаційні методи та моделі в Excel 1 транспортна логістика 1 формальна верифікація 1 інсерційне моделювання 1