Зеленков ОА, Бунчук ОО, Мірошниченко ОГ. Methods of the estimation of reliability of the software of failure-safe systems avioniks. Proceedings of National Aviation University [Internet]. 2003 Mar. 29 [cited 2024 May 6];16(1):29-32. Available from: https://jrnl.nau.edu.ua/index.php/visnik/article/view/11625