海量图书期刊资源，随时随地畅享阅读乐趣
Construction of automata with maximum capacity for self-detection of failuresV. N. Valuiskii; A. M. Romankevich · 1977
A τ-decomposition method for monitoring a control automaton with time redundancyA. M. Romankevich; V. N. Valuiskii · 1979