Musayev Muhammadjon Usarovich, Abduganiyeva Yulduzoy Shahabidinovna, and Miratoyev Zohidjon Mirvaliyevich. 2020. “TOOLS FOR FORMALIZED DESCRIPTION AND TRANSFORMATION OF ALGORITHMS AIMED AT SYNTHESIZING DEVICES OF CONTROL COMPUTING SYSTEMS”. International Engineering Journal For Research & Development 5 (6):8. https://doi.org/10.17605/OSF.IO/RXC9Q.