Open AccessVerificação da preditibilidade de falhas em sistemas a eventos discretos com linguagem não viva e com ciclos de estados conectados somente por eventos não observáveis
Author(s) -
Raphael J. Barcelos,
Mauricio Augusto de Aragon Alves Corrêa,
João Carlos Basilio
Publication year - 2019
Publication title -
anais do 14º simpósio brasileiro de automação inteligente
Language(s) - Portuguese
Resource type - Conference proceedings
DOI - 10.17648/sbai-2019-111496
Subject(s) - computer science