Browsing by Author Кропотин, А. А.
Showing results 1 to 4 of 4
Issue Date | Title | Author(s) |
2013 | Use of tableau algorithm for business process verification | Ivashko, A. G.; Grigoryev, A. V.; Kropotin, A. A.; Ovsyannikova, E. O.; Ивашко, А. Г.; Григорьев, А. В.; Кропотин, А. А.; Овсянникова, Е. О. |
2017 | Математическое моделирование процесса анализа реляционных баз данных при интеграции информационных систем : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.18 | Ивашко, А. Г.; Кропотин, А. А. |
2018 | Онтологический метод проверки семантической несогласованности реляционных баз данных и официальных документов | Kropotin, A. A.; Bidulya, Yu. V.; Ivashko, A. G.; Samoylov, M. Yu.; Кропотин, А. А.; Бидуля, Ю. В.; Ивашко, А. Г.; Самойлов, М. Ю. |
2013 | Применение табличного алгоритма для верификации моделей бизнес-процессов | Ivashko, A. G.; Grigoryev, A. V.; Kropotin, A. A.; Ovsyannikova, E. O.; Ивашко, А. Г.; Григорьев, А. В.; Кропотин, А. А.; Овсянникова, Е. О. |