Verification and Validation of Formal Data-Centric Business Models. - Timur Umarov; Rustem Kamun; Askhat Omarov; Sanzhar Altayev (EGC, 2015)

Applying the Method of Diverse Redundancy in Cloud Based Systems for Increasing Reliability. - Seilkhan Boranbayev; Sanzhar Altayev; Askar Boranbayev (ITNG, 2015)