Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales
El artículo aborda el tema de la investigación y desarrollo de métodos que permitan dar cuenta de ejemplos de comportamiento al sintetizar modelos de autómatas mediante fórmulas temporales. Se dan definiciones de los términos y conceptos utilizados en el trabajo; se formula el problema de sintetizar...
Autores principales: | Pashchenko, Dmitry V., Martyshkin, Alexey I., Trokoz, Dmitry A., Pashchenko, Tatyana Yu., Babich, Mikhail Yu., Butaev, Mikhail M. |
---|---|
Formato: | Online |
Idioma: | eng |
Publicado: |
Universidad Nacional de Ingeniería (UNI) en Managua
2021
|
Acceso en línea: | https://www.camjol.info/index.php/NEXO/article/view/11285 |
Ejemplares similares
-
Descomposición paralela de algoritmos de control para procesos computacionales basados en el uso de lógica autómata no determinista
por: Pashchenko, Dmitry V., et al.
Publicado: (2021) -
Investigación de un modelo de sistema no determinista multiproceso
por: Pashchenko, Dmitry V., et al.
Publicado: (2021) -
Simulación del sistema de estabilización de altitud de vuelo en quadcopter
por: Yu. Babich, Mikhail, et al.
Publicado: (2020) -
Red neuronal para el reconocimiento de escritura a mano
por: M. Butaev, Mikhail, et al.
Publicado: (2020) -
Métodos para la Clasificación de Objetos de Radar
por: Pashchenko, Dmitry V., et al.
Publicado: (2022)