Meuse N. Nogueira Jr.

Publication Activity (10 Years)

Years Active: 2005-2006
Publications (10 Years): 0

Publications

Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. ACM SIGSOFT Softw. Eng. Notes 31 (3) (2006)
Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares
A methodology for mapping live sequence chart to coloured Petri net. SMC (2005)