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. International Engineering Journal For Research & Development, [S. l.], v. 5, n. 6, p. 8, 2020. DOI: 10.17605/OSF.IO/RXC9Q. Disponível em: https://iejrd.com/index.php/iejrd/article/view/1153. Acesso em: 17 apr. 2026.