Browsing by Author Kropotin, A. A.
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.; Ивашко, А. Г.; Григорьев, А. В.; Кропотин, А. А.; Овсянникова, Е. О. |
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.; Ивашко, А. Г.; Григорьев, А. В.; Кропотин, А. А.; Овсянникова, Е. О. |
2017 | Реализация метода идентификации семантических конфликтов метаданных и несоответствия интегрируемых данных исходя из их семантического описания | Kropotin, A. A.; Ivashko, A. G.; Кропотин, А. А.Ивашко, А. Г. |