LoTuS: uma Ferramenta Gráfica Extensível para Modelagem, Análise e Verificação de Modelos LTS e PLTS

Emerson Correia; Bruno Barbosa; Lucas Vieira; Ranniery Jesuíno; Messias Filho; Paulo Henrique Mendes Maia

doi:10.5753/reic.2017.1030

LoTuS: uma Ferramenta Gráfica Extensível para Modelagem, Análise e Verificação de Modelos LTS e PLTS

Authors

Emerson Correia Universidade Estadual do Ceará
Bruno Barbosa Universidade Estadual do Ceará
Lucas Vieira Universidade Estadual do Ceará
Ranniery Jesuíno Universidade Estadual do Ceará
Messias Filho Universidade Estadual do Ceará
Paulo Henrique Mendes Maia Universidade Estadual do Ceará

DOI:

https://doi.org/10.5753/reic.2017.1030

Abstract

No abstract available

Downloads

Download data is not yet available.

Downloads

PDF (Português (Brasil))

Published

2017-08-30

How to Cite

Correia, E., Barbosa, B., Vieira, L., Jesuíno, R., Filho, M., & Maia, P. H. M. (2017). LoTuS: uma Ferramenta Gráfica Extensível para Modelagem, Análise e Verificação de Modelos LTS e PLTS. Eletronic Journal of Undergraduate Research on Computing, 15(1). https://doi.org/10.5753/reic.2017.1030