TY CONF TI ДИАГНОСТИЧЕСКОЕ МОДЕЛИРОВАНИЕ СЕТЕЙ ИЗ ЦИФРОВЫХ АВТОМАТОВ KW diagnostic model KW the digital state machine KW a network of digital machines KW logic equations KW errors in network functions: compliance KW transitions KW outputs KW critical function JO САПР И МОДЕЛИРОВАНИЕ В СОВРЕМЕННОЙ ЭЛЕКТРОНИКЕ AU Быстрова, И.В. AU Подкопаев, Б.П. PY 2024 PB Брянский государственный технический университет