Roman Litvinchuk, Andrii Levchenko. Audit Of Mathematical Models For Software Specification Of The Workplace Decision Support System At The Logistics Management Point. In Mikolaj P. Karpinski, Piotr Milczarski, Nadiia Kazakova, Serhii Toliupa, Svitlana Kuznichenko, Serhii Yevseiev, Oleksii Fraze-Frazenko, Artem Sokolov, editors, Proceedings of the 3rd International Conference on Information Security and Information Technologies (ISecIT 2021) co-located with 1st International Forum "Digital Reality" (DRForum 2021), Odessa, Ukraine, September 13-19, 2021. Volume 3200 of CEUR Workshop Proceedings, pages 175-182, CEUR-WS.org, 2021. [doi]
Abstract is missing.