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 (Sep. 2020), 8. DOI:https://doi.org/10.17605/OSF.IO/RXC9Q.