Ricardo Arend Machado

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 3

Top Topics

Colored Petri Nets

State Transitions

Top Venues

Publications

Ricardo Arend Machado, Athur Zelindro, Eder Mateus Nunes Gonçalves, Diana Francisca Adamatti, Giovani Farias
Automated Mapping Tool from Moise+ to Colored Petri Nets. FLAIRS (2024)
Ricardo Arend Machado, Eder Mateus Nunes Gonçalves
oise Using a Test Adequacy Criterion Based on State Transition Path. BRACIS (2) (2020)
Eder Mateus Nunes Gonçalves, Bruno Coelho Rodrigues, Ricardo Arend Machado
Assessment of Testability on Multiagent Systems Developed with Organizational Model Moise. EPIA (2) (2019)