Дата выпуска | Название | Автор(ы) |
2013 | Use of tableau algorithm for business process verification | Ivashko, A. G.; Grigoryev, A. V.; Kropotin, A. A.; Ovsyannikova, E. O.; Ивашко, А. Г.; Григорьев, А. В.; Кропотин, А. А.; Овсянникова, Е. О. |
2016 | Верификация прогностической способности математической модели принятия решений | Лебедева, Л. В.; Пушкарев, А. Н. |
2009 | Математическое моделирование верификации процесса разработки программного обеспечения : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.18 | Ивашко, А. Г.; Григорьев, М. М. |
2018 | О верификации государствами решений международных судов | Klyuchnikov, A. Yu.; Ключников, А. Ю. |
2022 | Оценка выбросов парниковых газов нефтедобывающей компании и возможности коммерциализации углеродного следа | Ахмедова, И. Д.; Akhmedova, I. D.; Курмантаева, А. А.; Kurmantaeva, A. A. |
2013 | Применение табличного алгоритма для верификации моделей бизнес-процессов | Ivashko, A. G.; Grigoryev, A. V.; Kropotin, A. A.; Ovsyannikova, E. O.; Ивашко, А. Г.; Григорьев, А. В.; Кропотин, А. А.; Овсянникова, Е. О. |
2018 | Разработка программного обеспечения для автоматизации процесса тестирования web-приложений | Stupnikov, A. A.; Ступников, А. А.; Chashkova, A. D.; Чашкова, А. Д. |