Verification and Validation of Formal Data-Centric Business Models

Timur Umarov, Rustem Kamun, Askhat Omarov, Sanzhar Altayev. Verification and Validation of Formal Data-Centric Business Models. In Ross Horne, editor, Embracing Global Computing in Emerging Economies - First Workshop, EGC 2015, Almaty, Kazakhstan, February 26-28, 2015. Proceedings. Volume 514 of Communications in Computer and Information Science, pages 134-147, Springer, 2015. [doi]

Authors

Timur Umarov

This author has not been identified. Look up 'Timur Umarov' in Google

Rustem Kamun

This author has not been identified. Look up 'Rustem Kamun' in Google

Askhat Omarov

This author has not been identified. Look up 'Askhat Omarov' in Google

Sanzhar Altayev

This author has not been identified. Look up 'Sanzhar Altayev' in Google