Pashchenko, Dmitry V., Penza State Technological University, 440039, Russia, Penza, 1/11 Baydukova lane/Gagarina st., 1/11, Russian Federation
-
Nexo Scientific Journal Vol. 34 No. 01 (2021) - Articles
Parallel decomposition of control algorithms for computational processes based on the use of nondeterministic automaton logic
Abstract PDF -
Nexo Scientific Journal Vol. 34 No. 01 (2021) - Articles
Behaviour examples for synthesizing automaton models by temporal formulas
Abstract PDF