Miroshnyk M, Pshenychnyi K, Shafranskyi A, Shkil O. Models of Testable Timed Moore Finite State Machines. МІА [Internet]. 2023Jun.26 [cited 2024Dec.20];58:37-6. Available from: https://periodicals.karazin.ua/mia/article/view/23499