Journals
Books
Articles by keyword конечный автомат
Implicational control upon dynamic objects
V. V. Dubarenko, V. G. Kurbanov
Checking semantic integrity of relational data using state machines
A.V. Malikov, A.A. Evdokimov, D.K. Parkhomenko
Features of State Machine File synthesis process using Altera Quartus II
S.F. Tyurin - Dr.Sc. (Eng.), Department «Automation and Telemechanics», Perm National Research Polytechnic University. E-mail: tyurinsergfeo@at.pstu.ru I.I. Bezukladnikov - Ph.D. (Eng.), Department «Automation and Telemechanics», Perm National Research Polytechnic University. E-mail: corrector@at.pstu.ru A.A. Yuzhakov - Dr.Sc. (Eng.), Head of Department «Automation and Telemechanics», Perm National Research Polytechnic University. E-mail: uz@at.pstu.ru O.V. Goncharovsky - Ph.D. (Eng.), Department «Automation and Telemechanics», Perm National Research Polytechnic University. E-mail: vfrey@mail.ru
Approaches to formal verification of model of microprocessor commutation subsystem devices
I.A. Stotland - Ph. D. (Eng.), Associate Professor, Moscow State University of Information Technologies, Radio Engineering and Electronics (MIREA) E-mail: irastot@mail.ru N.A. Starikovskaya - Ph. D. (Eng.), Associate Professor, Moscow State University of Information Technologies, Radio Engineering and Electronics (MIREA) E-mail: starikovskaya@mirea.ru M.A. Kirichenko - Student, Moscow State University of Information Technologies, Radio Engineering and Electronics (MIREA) E-mail: kmar.kmar@mail.ru
Representation and modeling of adaptive algorithms for control of transport systems in the form of finite hierarchical automata

V.Yu. Stroganov1, E.V. Zelentsova2

1 Bauman Moscow State Technical University (Moscow, Russia)

Fast parsing in Java for building neurocomputer systems

R.V. Veiko – Research Scientist, Research Centre for Medical Genetics (Moscow) 

E-mail: db-mail-dbase@yandex.ru