Пешко, С. С. Автоматизация построения результативных спецификаций стохастических сетей / С. С. Пешко // Современные проблемы математики и вычислительной техники : сборник материалов Х Республиканской научной конференции молодых ученых и студентов, Брест, 23–24 ноября 2017 года / Министерство образования ...