Meuse N. Nogueira Jr.

According to our database, Meuse N. Nogueira Jr. authored at least 2 papers between 2005 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems.

Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares

ACM SIGSOFT Softw. Eng. Notes, 2006

2005

A methodology for mapping live sequence chart to coloured Petri net.

Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares

Proceedings of the IEEE International Conference on Systems, 2005