Tarcísio Abadio de Magalhães Júnior

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Automated Verification

Unified Modeling Language

Top Venues

Publications

Lígia Maria Soares Passos, Tarcísio Abadio de Magalhães Júnior, Marcelo de Almeida Maia, Stéphane Julia
Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets. SBSI (2013)