Rodrigues, Bruno Coelho RODRIGUES, Bruno Coelho. Testabilidade de sistemas multiagentes organizados usando o modelo Moise : uma abordagem com Redes de Petri. 2018. 69 f. Dissertação (Mestrado em Engenharia da Computação) – Centro de Ciências Computacionais, Universidade Federal do Rio Grande, Rio Grande, 2018..
,
2018