Avtomatika i Telemekhanika
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Avtomat. i Telemekh.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Avtomatika i Telemekhanika, 1976, Issue 11, Pages 183–192 (Mi at8190)  

Technical Diagnostics

Design methods for checking tests of arbitrary finite automata

V. G. Totsenko

Kiev
Abstract: The paper is concerned with a method to design a checking test identifying any faults which do not increase the number of states in a discrete unit with memory elements described as an arbitrary finite automaton.

Received: 17.02.1976
Bibliographic databases:
Document Type: Article
UDC: 007.52.001.4
Language: Russian
Citation: V. G. Totsenko, “Design methods for checking tests of arbitrary finite automata”, Avtomat. i Telemekh., 1976, no. 11, 183–192; Autom. Remote Control, 37:11 (1976), 1780–1787
Citation in format AMSBIB
\Bibitem{Tot76}
\by V.~G.~Totsenko
\paper Design methods for checking tests of arbitrary finite automata
\jour Avtomat. i Telemekh.
\yr 1976
\issue 11
\pages 183--192
\mathnet{http://mi.mathnet.ru/at8190}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=444345}
\zmath{https://zbmath.org/?q=an:0361.94058}
\transl
\jour Autom. Remote Control
\yr 1976
\vol 37
\issue 11
\pages 1780--1787
Linking options:
  • https://www.mathnet.ru/eng/at8190
  • https://www.mathnet.ru/eng/at/y1976/i11/p183
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Avtomatika i Telemekhanika
    Statistics & downloads:
    Abstract page:73
    Full-text PDF :43
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024