MYRZABEK, Kamila; KHASSEN, Akbota. PROBABILISTIC TIMED AUTOMATA ANALYSIS OF AIR TRAFFIC CONTROL SYSTEMS. МЕЖДУНАРОДНЫЙ ЖУРНАЛ ИНФОРМАЦИОННЫХ И КОММУНИКАЦИОННЫХ ТЕХНОЛОГИЙ, [S. l.], v. 6, n. 3, p. 238–253, 2025. DOI: 10.54309/IJICT.2025.23.3.014. Disponível em: https://journal.iitu.edu.kz/index.php/ijict/article/view/590. Acesso em: 5 дек. 2025.