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 Arajo

Browse the full SAC paper archive.