Martynyuk ON, Ahmesh T, Drozd OV, Stepova HS. Checkability of hierarchical transmitions for behavioral check. ST [Internet]. 2018Dec.27 [cited 2024Nov.21];1(56):30-. Available from: https://st.umsf.in.ua/index.php/journal/article/view/5