@inproceedings{SAC-2009-AndradeMCNA,
author = "Ermeson Carneiro de Andrade and Paulo Romero Martins Maciel and Gustavo Rau de Almeida Callou and Bruno Costa e Silva Nogueira and Carlos Araújo",
booktitle = "{Proceedings of the 24th Symposium on Applied Computing}",
doi = "10.1145/1529282.1529364",
editor = "Sung Y. Shin and Sascha Ossowski",
isbn = "978-1-60558-166-8",
pages = "377--381",
publisher = "{ACM}",
title = "{Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints}",
year = 2009,
}
Tags: