Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints

Ermeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Carlos Araújo. Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. In Sung Y. Shin, Sascha Ossowski, editors, Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009. pages 377-381, ACM, 2009. [doi]

Authors

Ermeson Carneiro de Andrade

This author has not been identified. Look up 'Ermeson Carneiro de Andrade' in Google

Paulo Romero Martins Maciel

This author has not been identified. Look up 'Paulo Romero Martins Maciel' in Google

Gustavo Rau de Almeida Callou

This author has not been identified. Look up 'Gustavo Rau de Almeida Callou' in Google

Bruno Costa e Silva Nogueira

This author has not been identified. Look up 'Bruno Costa e Silva Nogueira' in Google

Carlos Araújo

This author has not been identified. Look up 'Carlos Araújo' in Google