Trokoz, Dmitry A., 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)