Audit Of Mathematical Models For Software Specification Of The Workplace Decision Support System At The Logistics Management Point. - Roman Litvinchuk; Andrii Levchenko (ISecIT, 2021)