Pashchenko, Dmitry V., Penza State Technological University, 440039, Russia, Penza, 1/11 Baydukova lane/Gagarina st., 1/11, Russian Federation
-
Nexo Revista Científica Vol. 34 Núm. 01 (2021) - Artículo
Descomposición paralela de algoritmos de control para procesos computacionales basados en el uso de lógica autómata no determinista
Resumen PDF (English) -
Nexo Revista Científica Vol. 34 Núm. 01 (2021) - Artículo
Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales
Resumen PDF (English)