Descomposición paralela de algoritmos de control para procesos Computacionales basados en el uso de lógica autómata no determinista

by Pashchenko, Dmitry V, Martyshkin, Alexey I, Trokoz, Dmitry A, Pashchenko, Tatyana Yu, Babich, Mikhail Yu, Butaev, Mikhail M
Published 2021

Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales

by Pashchenko, Dmitry V, Martyshkin, Alexey I, Trokoz, Dmitry A, Pashchenko, Tatyana Yu, Babich, Mikhail Yu, Butaev, Mikhail M
Published 2021

Investigación de un modelo de sistema no determinista multiproceso

by Pashchenko, Dmitry V, Trokoz, Dmitry A, Martyshkin, Alexey I, Pashchenko, Tatyana Yu, Butaev, Mikhail M, Babich, Mikhail Yu
Published 2021