Structural Models for Failure Detection of Moore Finite-State Machines
-
Published:2023-12
Issue:6
Volume:62
Page:977-990
-
ISSN:1064-2307
-
Container-title:Journal of Computer and Systems Sciences International
-
language:en
-
Short-container-title:J. Comput. Syst. Sci. Int.
Publisher
Pleiades Publishing Ltd
Reference25 articles.
1. S. Park, H. T. Kim, S. Lee, H. Joo, H. Kim, “Survey on anti-drone systems: Components, designs, and challenges,” IEEE Access, No. 9, 42635–42659 (2021).
2. V. V. Solov’ev, “ASMD-FSMD technique in designing signal processing devices on field programmable gate arrays,” J. Commun. Technol. Electron. 66 (12), 1336–1345 (2021).
3. V. Salauyou and Ł. Zabrocki, “Coding techniques in Verilog for finite state machine designs in FPGA,” in Proc. Int. Conf. on Computer Information Systems and Industrial Management (Springer Cham, Belgrade, Serbia, 2019), pp. 493–505.
4. R. E. Lyons and W. Vanderkulk, “The use of triple-modular redundancy to improve computer reliability,” IBM J. Res. Dev. 6 (2), 200–209 (1962).
5. A. Aviziens, “Fault-tolerant systems,” IEEE Trans. Comput. 100 (12), 1304–1312 (1976).