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]
Abstract is missing.