Literature Cited
V. M. Glushkov, Synthesis of Digital Automata [in Russian], Fizmatgiz, Moscow (1962).
V. M. Glushkov, Yu. V. Kaptionova, and A. A. Letichevskii, “Automation of computer design,” Kibernetika, No. 5 (1967).
A. P. Ershov and A. A. Lyapunov, “Formalization of the program concept,” Kibernetika, No. 5 (1967).
I. V. Safonov, “Reliability problems in the automation of digital computer design” in: Automata Theory [in Russian], No. 3, Izd. IK Akad. Nauk Ukr. SSR, Kiev (1967).
V. M. Glushkov, “Outlook for the automation of computer design,” Vest. Akad. Nauk SSSR, No. 4 (1967).
M. A. Breuer, “Adaptive computers,” Information and Control,11, No. 4, (1967).
I. V. Safonov, “Residence times of a redundant multifunctional system at different levels of operation,” in: Complex Systems and Modeling [in Russian], No. 2, Izd. IK Akad. Nauk Ukr. SSR, Kiev (1968).
Additional information
Institute of Cybernetics, Academy of Sciences of the Ukrainian SSR, Kiev. Translated from Kibernetika, No. 5, pp. 43–50, September–October, 1971.
Rights and permissions
About this article
Cite this article
Safonov, I.V. Formalized reliability synthesis of discrete devices. Cybern Syst Anal 7, 801–809 (1971). https://doi.org/10.1007/BF01641499
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01641499