autores Barbosa, L.S. Luiz Southier Mazzetto, Muriel Casanova, Dalcimar Barbosa, Marco A. C. Teixeira, Marcelo
publicada em IEEE International Conference on Emerging Technologies and Factory Automation - ETFA Revista
palavras-chave Control Control systems Discrete Event Systems Event-parameter Formal Modeling Modeling Integration Specification State-parameter
Digital Object Identifier (DOI) https://doi.org/10.1109/etfa.2019.8869175 https://doi.org/10.1109/etfa.2019.8869175