2009 | ||
---|---|---|
1 | EE | 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. SAC 2009: 377-381 |
1 | Ermeson Carneiro de Andrade | [1] |
2 | Gustavo Rau de Almeida Callou | [1] |
3 | Paulo Romero Martins Maciel | [1] |
4 | Bruno Costa e Silva Nogueira | [1] |