Musayev Muhammadjon Usarovich, Abduganiyeva Yulduzoy Shahabidinovna, Miratoyev Zohidjon Mirvaliyevich. TOOLS FOR FORMALIZED DESCRIPTION AND TRANSFORMATION OF ALGORITHMS AIMED AT SYNTHESIZING DEVICES OF CONTROL COMPUTING SYSTEMS. IEJRD - International Multidisciplinary Journal [Internet]. 2020 Sep. 26 [cited 2026 Apr. 17];5(6):8. Available from: https://iejrd.com/index.php/iejrd/article/view/1153