Browsing by Subject UMLActivity
Showing results 1 to 2 of 2
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.; Ивашко, А. Г.; Григорьев, А. В.; Кропотин, А. А.; Овсянникова, Е. О. |
2013 | Применение табличного алгоритма для верификации моделей бизнес-процессов | Ivashko, A. G.; Grigoryev, A. V.; Kropotin, A. A.; Ovsyannikova, E. O.; Ивашко, А. Г.; Григорьев, А. В.; Кропотин, А. А.; Овсянникова, Е. О. |