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, 1991, Issue 4, Pages 147–156 (Mi at4163)  

This article is cited in 3 scientific papers (total in 3 papers)

Technical Diagnostics

Generation of an exhaustive test for automata with finite memory. I

G. P. Aksenova, V. F. Khalchev

Institute of Control Sciences, Moscow

Received: 25.04.1990
Bibliographic databases:
Document Type: Article
UDC: 621.382.8:681.326.7
MSC: Primary 68Q68; Secondary 68Q35, 94B05
Language: Russian
Citation: G. P. Aksenova, V. F. Khalchev, “Generation of an exhaustive test for automata with finite memory. I”, Avtomat. i Telemekh., 1991, no. 4, 147–156; Autom. Remote Control, 52:4 (1991), 695–704
Citation in format AMSBIB
\Bibitem{AksKha91}
\by G.~P.~Aksenova, V.~F.~Khalchev
\paper Generation of an exhaustive test for automata with finite memory.~I
\jour Avtomat. i Telemekh.
\yr 1991
\issue 4
\pages 147--156
\mathnet{http://mi.mathnet.ru/at4163}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1459537}
\transl
\jour Autom. Remote Control
\yr 1991
\vol 52
\issue 4
\pages 695--704
Linking options:
  • https://www.mathnet.ru/eng/at4163
  • https://www.mathnet.ru/eng/at/y1991/i4/p147
  • This publication is cited in the following 3 articles:
    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:128
    Full-text PDF :82
    First page:2
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025