Musayev Muhammadjon Usarovich, Abduganiyeva Yulduzoy Shahabidinovna, & 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