André L. N. Muniz

Publication Activity (10 Years)

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

Publications

André L. N. Muniz, Aline Maria Santos Andrade, George Lima
Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems. Innov. Syst. Softw. Eng. 6 (1-2) (2010)